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

### A

### 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 Ergodicity in terms of Koopman Operator
- 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
- Collatz Conjecture/Failed Proof
- Complement of Irreducible Topological Subset is Prime Element
- Continuity of Linear Transformation/Normed Vector Space
- Continuous Function on Compact Space is Bounded
- Contour Integral of Gamma Function
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Countable Product of Sequentially Compact Spaces is Sequentially Compact
- Crossbar Theorem

### D

### E

- Epsilon Induction
- 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

### H

### I

- Ideal Contained in Finite Union of Prime Ideals
- Ideals form Complete Lattice
- Improper Integral of Partial Derivative
- 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
- Definition:Isolated Singularity/Riemann Surface
- Isomorphism Classes for Order 4 Size 3 Simple Graphs

### L

### M

### N

### P

- Poisson Brackets of Classical Particle in Radial Potential on Plane
- Power Series Expansion for Exponential of Cosine of x/Proof 2
- Prefix of WFF of Predicate Logic is not WFF
- 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

### R

### S

- Sample Matrix Independence Test
- Saturated Models of same Cardinality are Isomorphic
- Semidirect Product of Groups is Group
- Sequence Lemma
- 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
- Spectrum of Bounded Linear Operator is Non-Empty
- Stabilizer is Normal iff Stabilizer of Each Element of Orbit
- Statements Equivalent to Non-Dividing Type
- Stone's Representation Theorem for Boolean Algebras
- Straight Line Segment is Shortest Path between Two Points
- 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
- Sum of Sequence of Cubes/Proof using Multiplication Table
- Summation of Powers over Product of Differences/Proof 3
- Surgery for Rings
- Surjective Monotone Function is Continuous

### T

- Theories with Infinite Models have Models with Order Indiscernibles
- There are 4260 Left-Truncatable Primes in Base 10
- There are 77 Minimal Primes in Base 10 if Single-Digit-Primes Subsequences are Allowed
- There are no 120 consecutive numbers which all have exactly 120 divisors
- Template:Tidy
- Tutte's Wheel Theorem
- Tutte's Wheel Theorem/Lemma