Extract actual result from equivalence
3250
Assign the results from a Solve to variable(s)
99911
How to show that if $x=(p,q)$ and $y=(p',q')$ then $x \sim y $ if $pq'=p'q$ is an equivalence relation?
60140
Proof of Equivalence Relation $R=\{(a,b)\in\Bbb N^2: 5\mid (2a+3b)\}$
24993
Most efficient way to test equality of lambda expressions
5803
Produce an explicit bijection between rationals and naturals?
20030
Is an equivalence an adjunction?
83614
How to cross-reference an inequality with \cref?
39405
Symmetric difference = Ø
38092
Symbol for "defined to be logically equivalent" (:⇔)
136883
The class of equivalence.
108045
Show that are logically equivalent
81502
Getting different output from seemingly identical calculations
65910
Reflexivity of equivalence relations
154356
The "difference" of two ordinals
96943
Getting terms and only evaluate specific parts
141697
Robust method to extract "pure" part of a variable
66548
proving topological equivalence