Correspondence Theorem
98855
Prove $aba^{-1}b^{-1}\in{N}$ for all $a,b$
156850
Fix-Point Theorem Proof.
149470
Intuitive Understanding About the Implicit Function Theorem
100845
How to prove that $G(x)=ax+b$ is a one-to-one correspondence where $a\neq0$ and $a,b\in\mathbb{R}$.
9705
Sensitivity to initial conditions and topological transitivity
111246
product of two continuous proper maps
65910
Reflexivity of equivalence relations
139779
Homotopic maps have homotopy equivalent mapping cones
93776
Bijective mapping between $\mathbb{R}^2$ and $\mathbb{R}$?
67066
Proof there is a 1-1 correspondence between an uncountable set and itself minus a countable part of it
106799
Proof Verification: Converse of Intermediate Value Theorem
120100
Hairy Ball Theorem: homotopy from the identity to the antipodal map
89506
Union of disjoint sets : Equivalence relations
69043
The equivalence relation generated by a relation
70409
Rational Equivalence Relation and Measure
147934
On Tarski-Knaster theorem
65888
A counterexample to theorem about orthogonal projection