# 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 123 pages are in this category, out of 123 total.

### C

- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Cauchy's Integral Formula/General Result
- Change of Base of Logarithm/Proof 2
- Characteristics of Floor and Ceiling Function
- Characterization of Prime Ideal by Finite Infima
- Chinese Remainder Theorem (Groups)
- Closure for Finite Collection of Relations and Operations
- Closure of product equals product of closures
- Cofactor Sum Identity
- Cofinal Ordinal Relation is Transitive
- Complement of Irreducible Topological Subset is Prime Element
- Contour Integral of Gamma Function
- Coordinate Representation of Divergence
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Countable Product of Sequentially Compact Spaces is Sequentially Compact
- Crossbar Theorem

### D

### E

- 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
- Euler's Formula/Real Domain/Proof 3
- 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 Chebyshev Polynomials of the First Kind
- Existence of Matrix Logarithm
- Exponential Tends to Zero and Infinity

### F

### G

### I

- Ideal Contained in Finite Union of Prime Ideals
- Ideals form Complete Lattice
- Initial Part of WFF of Predicate Logic is not WFF
- Intersection Condition for Direct Sum of Subspaces
- Inverse of Cauchy Matrix
- Inverse of Vandermonde Matrix/Eisinberg Formula
- Inverse of Vandermonde Matrix/Proof 2
- Invertibility of Identity Minus Operator
- Definition:Isolated Singularity
- Isomorphism Classes for Order 4 Size 3 Simple Graphs

### L

### N

### P

- 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
- Properties of Algebras of Sets

### R

- Regular Heptagon is Smallest with no Compass and Straightedge Construction
- Regular Heptagon is Smallest with no Compass and Straightedge Construction/Proof 2
- Relation of Boubaker Polynomials to Fermat Polynomials
- Resolvent Mapping Converges to 0 at Infinity
- Resolvent Mapping is Continuous
- Riesz-Markov-Kakutani Representation Theorem/Lemma 4

### S

- Sample Matrix Independence Test
- Saturated Models of same Cardinality are Isomorphic
- Semidirect Product of Groups is Group
- Sequence Lemma
- Set of Upper Closures of Compact Elements is Basis implies Complete Scott Topological Lattice is Algebraic
- Simple Infinite Continued Fraction is Uniquely Determined by Limit
- 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
- Spectrum of Bounded Linear Operator is Non-Empty
- Statements Equivalent to Non-Dividing Type
- Sturm-Liouville Problem
- Subextensions of Separable Field Extension are Separable
- Subgroup of Solvable Group is Solvable/Proof 2
- Sum of Elements in Inverse of Vandermonde Matrix
- Summation of Powers over Product of Differences/Proof 3
- Surgery for Rings
- Surjective Monotone Function is Continuous