Statements

A theorem, a lemma, a proposition, a corollary, a fact or an axiom.

Ideas 4201–4256 of 4256.

Name	Kind	Subject
Bareiss algorithm	Theorem	Numerical analysis
Linearity of the matrix-vector product	Proposition	Linear and multilinear algebra; matrix theory
Anti-equivalence of affine schemes and rings	Theorem	Algebraic geometry
Smirnov's theorem on conformal invariance of percolation	Theorem	Statistical mechanics, structure of matter
Hartogs lemma for subharmonic functions	Lemma	Potential theory
Three-moment equation	Theorem	Mechanics of deformable solids
Count of integers up to n divisible by a set of primes dividing n	Proposition	Number theory
Hex theorem that the first player wins	Theorem	Game theory, economics, finance, and other social and behavioral sciences
Optical theorem	Theorem	Optics, electromagnetic theory
Cone theorem	Theorem	Algebraic geometry
Adams' theorem on Hopf invariant one	Theorem	Algebraic topology
Jacobi identity	Proposition	Nonassociative rings and algebras
Holomorphy of the gamma function	Theorem	Special functions
Mellin transform under inversion of the variable	Proposition	Integral transforms, operational calculus
Frenet–Serret formulas	Theorem	Differential geometry
Banach–Zarecki theorem	Theorem	Real functions
Theorem provers	Theorem
Bieberbach conjecture	Theorem	Functions of a complex variable
Ramanujan's master theorem	Theorem	Integral transforms, operational calculus
Grauert's direct image theorem	Theorem	Several complex variables and analytic spaces
Fourier transform of the Gaussian	Proposition	Harmonic analysis on Euclidean spaces
Addition and multiplication of rationals respect equality	Theorem	Number theory
Finite-dimensional Hausdorff vector topologies are Euclidean	Theorem	Functional analysis
Landauer's principle	Fact	Statistical mechanics, structure of matter
Kazhdan–Lusztig conjecture	Theorem	Nonassociative rings and algebras
Skolem–Mahler–Lech theorem	Theorem	Number theory
Pauli exclusion principle	Proposition	Quantum theory
Whitney–Graustein theorem	Theorem	Manifolds and cell complexes
Łoś–Vaught test	Theorem	Mathematical logic and foundations
Yarkovsky effect	Fact	Mechanics of particles and systems
Laws of thermodynamics	Fact	Classical thermodynamics, heat transfer
Bochner's theorem	Theorem	Abstract harmonic analysis
Jacobi condition	Theorem	Calculus of variations and optimal control; optimization
Support of a convolution	Proposition	Integral transforms, operational calculus
Kármán–Howarth equation	Proposition	Fluid mechanics
Glen's flow law	Fact	Geophysics
Morley's trisector theorem	Theorem	Geometry
Faber's theorem on interpolation	Theorem	Approximations and expansions
Hindman's theorem	Theorem	Combinatorics
Mellin transform as a Fourier transform in logarithmic variables	Proposition	Integral transforms, operational calculus
Grothendieck spectral sequence	Theorem	Category theory; homological algebra
Montel's theorem	Theorem	Functions of a complex variable
No surjection from the positive integers onto the unit interval	Proposition	Mathematical logic and foundations
Mason–Stothers theorem	Theorem	Number theory
Weak Nullstellensatz	Theorem	Commutative algebra
Newton–Puiseux theorem	Theorem	Commutative algebra
Hellinger–Toeplitz theorem	Theorem	Operator theory
Absolute continuity of the Lebesgue integral	Proposition	Measure and integration
Biot–Savart law for vortex filaments	Proposition	Fluid mechanics
Maupertuis's principle	Theorem	Mechanics of particles and systems
Transitivity of integrality	Proposition	Commutative algebra
Khachiyan's theorem that linear programming is in P	Theorem	Operations research, mathematical programming
Boundary integral equation for the Dirichlet problem	Theorem	Potential theory
Iwasawa decomposition	Theorem	Nonassociative rings and algebras
Chapman–Jouguet condition	Proposition	Fluid mechanics
Stein–Tomas restriction theorem	Theorem	Harmonic analysis on Euclidean spaces