Showing that $H_A\simeq H_{A'}$ implies $A\simeq A'$
135422
$\operatorname{Hom}(-,A) \cong \operatorname{Hom}(-,A') \Rightarrow A \cong A'$, proof verification
21881
Prove that $\forall\alpha\geq\omega$, $|L_\alpha|=|\alpha|$ without AC
68781
proving if $a \le b$ then $\sup(A) \le \inf(B)$
68918
Show that $A\cap B\subseteq A$ and $A\subseteq A\cup B$
33030
Proof that $\inf A = -\sup(-A)$
26741
How to prove for $s<1,|a+b|^s\le|a|^s+|b|^s$
132431
Proving $|f'(z)|\leq\frac{\text{Re}(f(z))}{\text{Re}(z)}$
117533
$|A-\lambda I|$ and $|\lambda I-A|$
101286
How show that $|a_{n}-1|\le c\lambda ^n,\lambda\in (0,1)$
67199
Isomorphism $H_n(D^n, S^{n - 1};A)$ and $A$
96133
Prove that $ m_{a} \geq m_{g} \geq m_{h} $ using strict inequalities unless $ a = b $.
21250
Prove $x \equiv a \pmod{p}$ and $x \equiv a \pmod{q}$ then $x \equiv a\pmod{pq}$
72144
Show that $\mathbb Q(\sqrt p) \not\simeq\mathbb Q(\sqrt q)$
13575
Need help for proving that: $f(f^{-1}(A)) ⊆ A$
53236
Formal proof of $\lim_{x\to a}f(x) = \lim_{h\to 0} f(a+h)$
127047
How to show that $\sum_{i=1}^n | \langle f, f_i\rangle |^2 \leq \Vert f \Vert^2$
81618
Prove $||a|-|b| | \leq |a-b|$