Category:Tidy
Jump to navigation
Jump to search
This category is for pages that need to be fixed up aesthetically and brought into conformance with $\mathsf{Pr} \infty \mathsf{fWiki}$ house style.
Pages in category "Tidy"
The following 118 pages are in this category, out of 118 total.
C
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Characteristics of Floor and Ceiling Function
- Characterization of Prime Ideal by Finite Infima
- Characterization of Strictly Increasing Mapping on Woset
- Closed Elements Uniquely Determine Closure Operator
- Closure for Finite Collection of Relations and Operations
- Closure of Irreducible Subspace is Irreducible
- Cofactor Sum Identity
- Concentration of Lipschitz functionals of Gaussian vector
- Contour Integral of Gamma Function
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Cramer's Rule
- Crossbar Theorem
- Curry's Paradox
D
E
- Equality of Towers in Set
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Affine Space
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Contractible Space
- Equivalence of Definitions of Limit of Vector-Valued Function
- Equivalence of Definitions of Normal Subset/3 iff 4
- Equivalence of Definitions of Projective Module
- Equivalence of Definitions of Unital Associative Commutative Algebra/Correspondence
- Equivalence of Definitions of Weierstrass E-Function
- Exchange Principle
- Existence and Uniqueness of Direct Limit of Sequence of Groups
- Existence and Uniqueness of Direct Limit of Sequence of Groups/Lemma 2
- Existence of Abscissa of Convergence/General
- Existence of Base-N Representation
- Existence of Matrix Logarithm
- Exponential Tends to Zero and Infinity
F
G
I
- Ideal Contained in Finite Union of Prime Ideals
- Ideals are Continuous Lattice Subframe of Power Set
- Ideals form Complete Lattice
- If Ideal and Filter are Disjoint then There Exists Prime Ideal Including Ideal and Disjoint from Filter
- Initial Part of WFF of Predicate Logic is not WFF
- Definition:Injective Module
- Integral with respect to Pushforward Measure
- Intersection Condition for Direct Sum of Subspaces
- Inverse of Cauchy Matrix
- Inverse of Vandermonde Matrix/Eisinberg Formula
- Inverse of Vandermonde Matrix/Proof 2
- Definition:Isolated Singularity
- Isomorphism Classes for Order 4 Size 3 Simple Graphs
L
N
P
- Pasting Lemma
- Poisson Brackets of Classical Particle in Radial Potential on Plane
- Power Series Expansion for Exponential of Cosine of x/Proof 2
- Product of Summations is Summation Over Cartesian Product of Products
- Product Sigma-Algebra Generated by Projections
- Projector has Norm 1
- Proper and Prime iff Ultrafilter in Boolean Lattice
S
- Sample Matrix Independence Test
- Saturated Models of same Cardinality are Isomorphic
- Sequence Lemma
- Definition:Set of Literals
- Simple Infinite Continued Fraction is Uniquely Determined by Limit
- Simson Line Theorem
- Smallest n needing 6 Numbers less than n so that Product of Factorials is Square
- Definition:Smith-Volterra-Cantor Set
- Space of Somewhere Differentiable Continuous Functions on Closed Interval is Meager in Space of Continuous Functions on Closed Interval/Lemma 2
- Space of Somewhere Differentiable Continuous Functions on Closed Interval is Meager in Space of Continuous Functions on Closed Interval/Lemma 2/Lemma 2.1
- Statements Equivalent to Non-Dividing Type
- Sturm-Liouville Problem
- Subextensions of Separable Field Extension are Separable
- Sum of Elements in Inverse of Vandermonde Matrix
- Sum over k from 2 to Infinity of Zeta of k Minus One
- Surgery for Rings
- Surjective Monotone Function is Continuous