holdsIn
P17841
predicate
Indicates that a relationship, condition, or event is valid or occurs within a specified time interval or temporal context.
All labels observed (2)
| Label | Occurrences |
|---|---|
| holdsIn canonical | 94 |
| Rostker v. GoldbergHolding | 1 |
Sample triples (95)
| Subject | Object |
|---|---|
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
the cumulative hierarchy V of sets ⓘ |
| Peter–Weyl theorem | Hilbert space L^2(G) ⓘ |
| Carathéodory measurability criterion | abstract measure spaces ⓘ |
| Carathéodory measurability criterion | metric measure spaces ⓘ |
| Krein–Milman theorem | Hausdorff locally convex topological vector spaces ⓘ |
| Hodge–Riemann bilinear relations | cohomology with complex coefficients ⓘ |
| Hodge–Riemann bilinear relations | middle-degree cohomology ⓘ |
| Slavnov–Taylor identities | covariant gauges ⓘ |
| Slavnov–Taylor identities | BRST-invariant quantization schemes ⓘ |
| Sylvester–Gallai theorem | Euclidean plane NERFINISHED ⓘ |
| Hausdorff maximal principle | any poset ⓘ |
| Kac's lemma | discrete-time dynamical systems ⓘ |
| Kac's lemma | measure-preserving transformations on probability spaces ⓘ |
| Riesz representation theorem | complex Hilbert spaces ⓘ |
| Riesz representation theorem | real Hilbert spaces ⓘ |
| Parseval's theorem | Hilbert spaces with orthonormal basis ⓘ |
| Bernstein theorem | Zermelo–Fraenkel set theory without the axiom of choice NERFINISHED ⓘ |
| CPT theorem | Minkowski spacetime NERFINISHED ⓘ |
| Euler criterion | finite field of order p ⓘ |
| second supplementary law | ring of integers modulo p ⓘ |
| Ehrenfest theorem | Schrödinger picture NERFINISHED ⓘ |
| Ehrenfest theorem | Heisenberg picture NERFINISHED ⓘ |
| Riesz lemma | real normed spaces ⓘ |
| Riesz lemma | complex normed spaces ⓘ |
|
Larmor theorem in classical electrodynamics
surface form:
Larmor theorem
|
classical limit of electrodynamics ⓘ |
| Cauchy’s mean value theorem | real line ℝ ⓘ |
| Morera's theorem | simply connected domains ⓘ |
| Morera's theorem | general domains in the complex plane ⓘ |
| Bolzano–Weierstrass theorem | Euclidean space ℝⁿ NERFINISHED ⓘ |
| Bessel inequality | real inner product spaces ⓘ |
| Bessel inequality | complex inner product spaces ⓘ |
| Rouché's theorem | complex plane ⓘ |
| Rouché's theorem | Riemann surfaces NERFINISHED ⓘ |
| Blaschke selection theorem | finite-dimensional Euclidean spaces ⓘ |
|
Liouville's theorem
surface form:
Liouville's theorem (complex analysis)
|
complex plane ⓘ |
| Lévy’s continuity theorem | Euclidean spaces ℝ^d NERFINISHED ⓘ |
| Malgrange preparation theorem | real smooth category ⓘ |
| Malgrange preparation theorem | complex smooth category ⓘ |
| T1 separation axiom | standard topology on the real numbers ⓘ |
| T1 separation axiom | discrete topology on any set ⓘ |
| Schwarz–Pick theorem | unit disk model of the hyperbolic plane ⓘ |
| Darboux's law of intermediate values | standard real number system R ⓘ |
| Jordan–Chevalley decomposition | any finite-dimensional representation of a Lie algebra over an algebraically closed field of characteristic zero ⓘ |
| Jordan–Chevalley decomposition | any finite-dimensional representation of a linear algebraic group over an algebraically closed field of characteristic zero ⓘ |
| Morse lemma | finite-dimensional smooth manifolds ⓘ |