| Product of cyclic groups is cyclic iff the orders are coprime | 08FDFEF8D1 | statement | none |
| Homomorphisms preserve identity and inverses | 08FKQD7NJ3 | statement | none |
| Product of countable sets is countable | 08G4XH86JC | statement | none |
| Tutte's theorem | 08J7R35B6Q | statement | none |
| Distributive laws for sets | 08N6EVA7DV | statement | none |
| Product formula for the order of HK | 08PY4GNAPK | statement | none |
| Picard's great theorem | 08QA8QTM71 | statement | none |
| Independence means the joint law is the product of the marginals | 08QCA2F1NX | statement | none |
| Number of functions between finite sets | 08QQH9F7G0 | statement | none |
| Power series of cosine | 08W5RN375X | statement | none |
| Hall's marriage theorem | 08WCB90WND | statement | none |
| Cauchy–Binet formula | 08WE2W7DYS | statement | none |
| Euler's four-square identity | 08WTN6SCQ6 | statement | none |
| An iterate of the Picard operator is a contraction | 08XDXP86XE | statement | none |
| Integration by parts | 08Y1BBQTK9 | statement | none |
| Subfields of a finite field | 08YERZDM9X | statement | none |
| Steinitz exchange lemma | 08ZDRN6H41 | statement | none |
| An injective endomorphism of a finite-dimensional space is surjective | 0912EEEVCT | statement | none |
| Euler's identity | 09285XX7AE | statement | none |
| Minimal polynomial divides the characteristic polynomial | 093X6MN6Y6 | statement | none |
| In a PID a nonzero element is irreducible iff it generates a maximal ideal | 095ZHQ7WCJ | statement | none |
| Unique paths in trees | 096B7Q5742 | statement | none |
| Geometric solutions come from roots of the characteristic polynomial | 096SD4ERQH | statement | none |
| Linearly independent set of the right size is a basis | 096V7H13H9 | statement | none |
| Cramer's rule | 0977KZ6PQB | statement | none |
| Riesz's lemma | 097C7KCAT5 | statement | none |
| Intermediate value theorem for connected spaces | 098C0KZZAP | statement | none |
| Fixed points of a p-group action | 098D2E7DEH | statement | none |
| Peano existence theorem | 098YP831QY | statement | none |
| Power series of the complex logarithm | 09BG0Y7SZD | statement | none |
| Area of a region as a line integral | 09CBQB6V67 | statement | none |
| Open sets characterised by neighbourhoods | 09CJ00H3NW | statement | none |
| Coordinates in an orthonormal basis | 09DZ8CD1AK | statement | none |
| Trace of a transpose | 09E1RCZ7YT | statement | none |
| Epsilon-N definition of the limit of a sequence | 09G6KHS6GY | statement | none |
| Second Sylow theorem | 09GCQ5STVJ | statement | none |
| Transpose of a product | 09GK5PS824 | statement | none |
| Closed sets contain their limits | 09GQ3ZTQJ9 | statement | none |
| Completeness of the space of bounded continuous functions | 09GRCZVR5E | statement | none |
| Euler's polyhedron formula | 09HT3P35YP | statement | none |
| Sum of the totient over the divisors | 09JXE6XMCC | statement | none |
| Groups of order p squared are abelian | 09JZ9P4899 | statement | none |
| Ring homomorphisms from a field are injective | 09N7DZ7SDB | statement | none |
| Finite intersection of open sets is open | 09NDE9V7X1 | statement | none |
| De Morgan's laws | 09PKJKA6J0 | statement | none |
| Mean of the normal distribution | 09PR1V6RWR | statement | none |
| Liouville's formula | 09PS3S0EF6 | statement | none |
| Cancellation in congruences | 09RDZZGJZ9 | statement | none |
| The rationals form an ordered field | 09RFKMBQ63 | statement | none |
| Every walk contains a path | 09VZBHB33V | statement | none |
| Permuting rows multiplies the determinant by the sign | 09YB3WQG38 | statement | none |
| Divisibility by 11 | 09YBMJTNBM | statement | none |
| Intersection of closed sets is closed | 09YMV8H4X5 | statement | none |
| The number of Sylow subgroups is the index of the normaliser | 09ZJ6CAK7S | statement | none |
| Product of compact sets is compact | 09ZKE5XQ74 | statement | none |
| Determinant of a matrix exponential | 0A1QQN333A | statement | none |
| Open sets of a metric space | 0A26X79RTB | statement | none |
| The reals are Archimedean | 0A3GWZ86AY | statement | none |
| Derivative gives the directional derivatives | 0A6PMR20N4 | statement | none |
| Archimedean property | 0A74SX55QP | statement | none |
| Baire category theorem | 0A7KGAYHGV | statement | none |
| Tower law | 0A7KJ68XHT | statement | none |
| Chain rule for a composition with a curve | 0A8TJ0VHC7 | statement | none |
| Schröder–Bernstein theorem | 0A9V6RKQG6 | statement | none |
| Finite-dimensional normed spaces are complete | 0ABP2F2ZP7 | statement | none |
| Metrizable spaces are normal | 0AD0BZ49DW | statement | none |
| If G modulo its centre is cyclic then G is abelian | 0AH9Q6YNMT | statement | none |
| Stokes' theorem | 0AKRKVHW94 | statement | none |
| Gram matrices are positive semidefinite | 0AM050KCAW | statement | none |
| Cauchy product of absolutely convergent series | 0AN28XQ45Z | statement | none |
| Second isomorphism theorem for vector spaces | 0APN65D6Y6 | statement | none |
| The symmetric group is generated by transpositions | 0AQNX7G443 | statement | none |
| Differentiation under the integral sign | 0AR06W1E1B | statement | none |
| Simplicity of the alternating group | 0ARPRJQWZ2 | statement | none |
| The Möbius function is the inverse of the constant function 1 | 0ASC73QEQT | statement | none |
| Boundedness theorem | 0ATVXC3NCC | statement | none |
| R/P is an integral domain iff P is prime | 0AVXBEC05W | statement | none |
| Totient of a prime power | 0AVY8HKBGD | statement | none |
| K[x]/(f) is a field iff f is irreducible | 0AWMPX35CW | statement | none |
| Completeness axiom | 0AXWET80YW | statement | none |
| Moment-generating function of the normal distribution | 0B1G4E21G7 | statement | none |
| Curl-free vector field on a convex set is conservative | 0B22P010D6 | statement | none |
| Open balls are open | 0B2305GNAZ | statement | none |
| R[x] is an integral domain iff R is | 0B5Z1EC66J | statement | none |
| Legendre's three-square theorem | 0B64Q7XNE3 | statement | none |
| Continuity via closed sets | 0B8GPXFSP7 | statement | none |
| Cauchy condensation test | 0B96KMDDD1 | statement | none |
| Connected subsets of the real line are intervals | 0B9ZQFMQNV | statement | none |
| Mean value theorem | 0BARQY52N5 | statement | none |
| Matrix determinant lemma | 0BC3Q6K92H | statement | none |
| Order of the Galois group of a Galois extension equals its degree | 0BDJBH8B4Z | statement | none |
| Solutions for complex conjugate roots | 0BEZX8F2XW | statement | none |
| Global existence for globally Lipschitz vector fields | 0BFD3A6CRH | statement | none |
| Weak law of large numbers | 0BFDHF2H7N | statement | none |
| Number of k-element subsets | 0BFMR2FQ8B | statement | none |
| Path independence of line integrals | 0BFN21TF5F | statement | none |
| A linear map is injective iff its kernel is trivial | 0BJBYCGMWE | statement | none |
| Mertens' theorem on Cauchy products | 0BJSWZJG18 | statement | none |
| Hölder's inequality for sums | 0BKDAGMGX9 | statement | none |
| Fermat's little theorem in the form a^p = a | 0BMXWXDVJZ | statement | none |
| Trees are bipartite | 0BN2A6EBYA | statement | none |
| Side-side-side congruence | 0BRBYRK6PA | statement | none |
| Goursat's theorem | 0BRG85WXYC | statement | none |
| Polar form | 0BRXFNQ5JV | statement | none |
| Quotient rule | 0BS0NJPKVE | statement | none |
| Multiplication rule | 0BS3RMX8HM | statement | none |
| Riemann's theorem on removable singularities | 0BSQDZWF34 | statement | none |
| Pythagorean theorem in an inner product space | 0BVTDM872V | statement | none |
| Uniform limits commute with integration | 0BWGW68B66 | statement | none |
| Power series converge uniformly on smaller discs inside the radius of convergence | 0BWXV7GADW | statement | none |
| Ring of integers | 0BXA4Q0JHW | statement | none |
| Implicit function theorem | 0BXBADR94C | statement | none |
| Slopes of a convex function are increasing | 0BY5FTHEEE | statement | none |
| Generalized pigeonhole principle | 0BY7GN3449 | statement | none |
| Zero derivative on a connected open set implies constant | 0BYZTFM0DJ | statement | none |
| Addition rule for two events | 0BZQ6ZX584 | statement | none |
| Order of the dihedral group | 0BZVNWJ352 | statement | none |
| Recurrence for Stirling numbers of the second kind | 0C019SDTER | statement | none |
| Laplace expansion along a row | 0C08BQ3M05 | statement | none |
| Linear maps on finite-dimensional spaces are continuous | 0C13E623WD | statement | none |
| Determinant is the product of the eigenvalues | 0C2F40MEBC | statement | none |
| Associativity of addition | 0C32J27WQC | statement | none |
| Euler product formula | 0C3PN4075R | statement | none |
| Eigenvalues of a self-adjoint operator are real | 0C4NT4GT3X | statement | none |
| Inclusion–exclusion for two sets | 0C4YEQ9H5E | statement | none |
| Recurrence for Stirling numbers of the first kind | 0C5BFX94J9 | statement | none |
| Number of subsets of a finite set | 0C5RDJE73X | statement | none |
| Polynomial functions are continuous | 0C5TP6RYSV | statement | none |
| Reverse triangle inequality | 0C9S13WKMF | statement | none |
| A finite field of order q is the splitting field of x^q - x | 0CDAHW576M | statement | none |
| Degrees along an Eulerian trail | 0CDVDGWGEG | statement | none |
| Universal property of the free group | 0CDWKDYWN6 | statement | none |
| Number of permutations | 0CEBCS0E0E | statement | none |
| Classification of complex quadratic forms | 0CEX9BRXRZ | statement | none |
| exp(2 pi i/n) is a primitive root of unity | 0CF0XGYHNJ | statement | none |
| Division algorithm | 0CHQKZFK5S | statement | none |
| Finite subgroups of the multiplicative group of a field are cyclic | 0CKGBEJX6B | statement | none |
| Abel's test | 0CN97GADE5 | statement | none |
| Impossibility of doubling the cube | 0CQ357M0QS | statement | none |
| Uniform convergence of derivatives allows term-by-term differentiation | 0CS42KEM5C | statement | none |
| Exponential growth beats polynomial growth | 0CT6CBGTYY | statement | none |
| Linearity of the derivative | 0CXZ217QDP | statement | none |
| Derivative of a continuous linear map | 0CYYAF8AD2 | statement | none |
| Fibonacci recurrence | 0D0SMQYEJA | statement | none |
| Correspondence theorem for rings | 0D1R4SVMBQ | statement | none |
| A set is closed iff it equals its closure | 0D2W7FS52T | statement | none |
| Integration by substitution | 0D37QFPEZE | statement | none |
| Consecutive Fibonacci numbers are coprime | 0D3PFXEAKF | statement | none |
| Rouché's theorem | 0D430QR02W | statement | none |
| A continuous injective function on an interval is strictly monotone | 0D6FCW80A0 | statement | none |
