Proving one specific equivalent formulation of AC
73526
The equivalence of "Every surjection has a right inverse" and the Axiom of Choice
4834
Proving that unconditional convergence is equivalent to absolute convergence
141369
If $a+b\equiv0\pmod m$ and $c+d\equiv 0\pmod m$ then $ac\equiv bd\pmod m$. Demonstration.
145273
Disjoint $AC$ equivalent to $AC$
43310
Proving $A\cap(B-C)$ is equal to $(A\cap B)-(A\cap C)$
91980
Prove that f is one-to-one on D
23946
Prove the definitions of $e$ to be equivalent
71203
Proving that two systems of linear equations are equivalent if they have the same solutions
94383
Prove that $A^TD-C^TB=I$
84422
$AB=BA$, $AC=CA$ we need to show $BC=CB$
24656
Proving that $\frac{\csc\theta}{\cot\theta}-\frac{\cot\theta}{\csc\theta}=\tan\theta\sin\theta$
21881
Prove that $\forall\alpha\geq\omega$, $|L_\alpha|=|\alpha|$ without AC
148954
Understanding a statement about equivalent norms ($||\cdot ||_2 \sim||\cdot||_1 $)
131132
Proofs using vector properties
156827
Prove that the directrix-focus and focus-focus definitions are equivalent
85713
Showing Parallelism is an equivalence relation in $\Bbb R ^2$
106799
Proof Verification: Converse of Intermediate Value Theorem