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

### C

- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Characteristics of Floor and Ceiling Function
- Characterization of Prime Ideal
- 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
- Combination Theorem for Complex Derivatives/Product Rule
- Compact in Subspace is Compact in Topological Space
- Concentration of Lipschitz functionals of Gaussian vector
- Continued Fraction Algorithm
- Contour Integral of Gamma Function
- Correspondence between Rational Numbers and Simple Finite Continued Fractions

### D

- Derivative of Derivative is Subset of Derivative in T1 Space
- Derivative of Exponential Function/Complex
- Derivative of Sequence of Holomorphic Functions
- Descartes' rule of signs
- Determinant of Matrix Product/Proof 2
- Determinant of Matrix Product/Proof 4
- Direct Product iff Nontrivial Idempotent
- Dirichlet Series Convergence Lemma/General
- Discrete Subgroup of Real Numbers is Closed
- Double Angle Formulas/Sine/Proof 3

### E

- Equality of Towers in Set
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Contractible Space
- Equivalence of Definitions of Euler's Number
- Equivalence of Definitions of Normal Subset/3 iff 4
- Equivalence of Definitions of Unital Associative Commutative Algebra/Correspondence
- Equivalence of Definitions of Weierstrass E-Function
- Equivalence of Versions of Axiom of Choice
- Equivalent Definition for Alternating Bilinear Mapping
- Exchange Principle
- Existence of Abscissa of Convergence/General
- Existence of Base-N Representation
- Existence of Matrix Logarithm
- Existence of Minimal Uncountable Well-Ordered Set/Proof Without Using Choice
- Existence of Subfamily of Cardinality not greater than Weight of Space and Unions Equal
- Exponential Tends to Zero and Infinity

### G

### H

### 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
- Image of Ultrafilter is Ultrafilter
- Initial Part of WFF of Predicate Logic is not WFF
- Intersection Condition for Direct Sum of Subspaces
- Intersection of Closed Sets is Closed/Closure Operator
- Inverse of Vandermonde Matrix/Eisinberg Formula
- Definition:Isolated Singularity

### M

### N

### O

### P

- Pasting Lemma
- Path as Parameterization of Contour
- Poisson Brackets of Classical Particle in Radial Potential on Plane
- Power Series Converges Uniformly within Radius of Convergence
- Power Series Expansion for Exponential of Cosine of x/Proof 2
- Prime Number Theorem
- Product of Summations is Summation Over Cartesian Product of Products
- Projector has Norm 1
- Proper and Prime iff Ultrafilter in Boolean Lattice

### R

### S

- Sample Matrix Independence Test
- Definition:Set of Literals
- Simple Infinite Continued Fraction is Uniquely Determined by Limit
- Sine of 1 Degree
- Definition:Smith-Volterra-Cantor Set
- Statements Equivalent to Non-Dividing Type
- Strictly Increasing Mapping Between Wosets Implies Order Isomorphism
- Sturm-Liouville Problem
- Subextensions of Separable Field Extension are Separable
- Sum of Elements in Inverse of Vandermonde Matrix
- Surgery for Rings

### T

### U

- Ultraproduct is Well-Defined
- Uniform Absolute Convergence of Infinite Product of Complex Functions
- Uniform Convergence of General Dirichlet Series
- Definition:Uniform Convergence of Product
- Uniformly Convergent Sequence Evaluated on Convergent Sequence
- Universal Property of Free Module on Set
- Universal Property of Free Modules