Deducing Cayley's theorem from the Yoneda lemma using Wikipedia's recipe
86308
Yoneda-Lemma as generalization of Cayley`s theorem?
87766
Using Cayley's Theorem to find an isomorphic subgroup.
153054
Euler characteristic for non-convex polyhedra.
236
Proof of general Euclid's Lemma in a UFD (by Euclidean algorithm?)
45204
Combinatorial proofs: having a difficult time understanding how to write them out
1425
The Chinese Remainder Theorem for Rings.
99677
Generalization of Cayley-Hamilton
51465
New, elegant proofs for $\varphi(p^{k})=p^{k}-p^{k-1}$
120130
Baker-Hausdorff Lemma from Sakurai's book
60731
Factorization of a map between CW complexes
31252
"Efficient version" of Cayley's Theorem in Group Theory
116538
Proof of Connected Diagrams
83872
Isomorphisms for graphs with loops and multiple edges
132118
Computing the $n^{\textrm{th}}$ permutation of bits.
15452
Proving determinant product rule combinatorially
58267
Godel's pairing function and proving c = c*c for aleph cardinals
158249
Proof of correctness of a homomorphic ElGamal sum