The inverse of Weyl's Theorem
58653
The opposite of Weyl's theorem on Lie algebras
149634
$ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$
44148
Functions that are their own inverse.
100257
Converse to Hilbert basis theorem
92802
Proof of Borsuk-Ulam Theorem .
154837
mapping properties of $(1−z)^i$
57846
Multiplicative inverse in $\operatorname{GF}(2^8)$?
129827
Product of invertibles in $\Bbb Z_n$ [Wilson's Theorem generalization]
18958
Eisenstein Criterion with a twist
77757
Infer the second isomorphism theorem from the first one
134075
Inverse of $A^{-1}+B^{-1}$
122041
Emmy Noether's theorem in simpler terms
128159
the Riemann integrability of inverse function
157925
How to prove that the implicit function theorem implies the inverse function theorem?
151721
Uhlmann's Theorem: proof of $\text{tr}(A^{\dagger} B) = \langle m | A \otimes B |m\rangle $
7164
Proof of Darboux's theorem
42332
Existence of multiplicative inverse in field $\mathbb{Q}(\sqrt{d})$