# Category:Proofread

Jump to navigation
Jump to search
(previous page) (next page)

Category for pages that need proofreading.

Make sure you check the Talk page of the article you are going to proofread to see what points have already been raised.

## Pages in category "Proofread"

The following 200 pages are in this category, out of 305 total.

(previous page) (next page)### A

- User:Abcxyz/Sandbox/Dedekind Completions of Archimedean Ordered Groups
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- Acceleration of Particle moving in Circle
- Definition:Aleph Mapping
- All Bases of Matroid have same Cardinality/Corollary
- Alternative Differentiability Condition/Proof 1
- Alternative Differentiability Condition/Proof 2
- Arccotangent Logarithmic Formulation
- Archimedes' Cattle Problem/Difficult Version
- Area between Radii and Whorls of Archimedean Spiral
- Arens-Fort Space is not First-Countable
- Arrow Paradox
- Axiom:Axiom of Continuity
- Axiom:Axiom of Triangle Existence

### B

### C

- Cantor-Dedekind Hypothesis
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Carroll Paradox
- Cauchy's Integral Formula
- Chain Rule for Real-Valued Functions
- Characteristic of Ordered Integral Domain is Zero
- Characterization of Lower Semicontinuity
- Characterization of Minimal Element
- Characterization of Strictly Increasing Mapping on Woset
- Definition:Class/Zermelo-Fraenkel
- Classical Probability is Probability Measure
- Classification of Compact One-Manifolds
- Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
- Complex Integration by Substitution
- Complex Numbers form Algebra
- Composition of Compatible Closure Operators
- Composition of Distance-Preserving Mappings is Distance-Preserving
- Condition for Closed Extension Space to be T5 Space
- Conditions for Limit Function to be Limit Minimizing Function of Functional
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Continuous Complex Function is Complex Riemann Integrable
- Continuous Mapping from Compact Space to Hausdorff Space Preserves Local Connectedness
- Continuum Property/Proof 1
- Contour Integral is Well-Defined
- Cowen-Engeler Lemma
- Definition:Cyclotomic Ring

### D

- Definition:Degenerate Case
- Dependent Choice (Fixed First Element)
- Dependent Subset of Independent Set Union Singleton Contains Singleton
- Definition:Depressed Polynomial
- Derivative of Product of Real Function and Vector-Valued Function
- Derivatives of PGF of Shifted Geometric Distribution
- User:Dfeuer/Compact Subspace of Linearly Ordered Space strengthened
- User:Dfeuer/Open Set may not be Open Ball
- Definition:Dicyclic Group
- Different Representations to Number Base represent Different Integers
- Definition:Differential Operator
- User:DingChao/Sandbox
- User:DingChao/Sandbox/Ultraproduct is Well-defined
- Direct Image Mapping of Surjection is Surjection/Proof 1
- Disjunction and Implication

### E

- Eisenstein's Lemma
- Element of Matroid Base and Circuit has a Substitute
- Element of Matroid Base and Circuit has a Substitute/Lemma 1
- Element of Matroid Base and Circuit has a Substitute/Lemma 2
- Element of Matroid Base and Circuit has a Substitute/Lemma 3
- Elementary Symmetric Function/Examples/Monic Polynomial
- Embedding Theorem
- Equality of Ordered Pairs/Necessary Condition/Proof from Empty Set Formalization
- Equality of Ordered Pairs/Necessary Condition/Proof from Wiener Formalization
- Equidistance is Independent of Betweenness
- Equivalence of Definitions of Arborescence
- Equivalence of Definitions of Complex Inverse Hyperbolic Sine
- Equivalence of Definitions of Complex Inverse Secant Function
- Equivalence of Definitions of Generalized Ordered Space/Definition 1 implies Definition 3
- Equivalence of Definitions of Generalized Ordered Space/Definition 2 implies Definition 1
- Equivalence of Definitions of Generalized Ordered Space/Definition 3 implies Definition 1
- Equivalence of Definitions of Limit of Vector-Valued Function
- Equivalence of Definitions of Real Natural Logarithm
- Equivalence of Definitions of Transitive Closure (Relation Theory)/Union of Compositions is Smallest
- Equivalence of Local Uniform Convergence and Compact Convergence
- Equivalent Matrices have Equal Rank
- Euler-Maclaurin Summation Formula
- Existence of Laurent Series
- Existence of Logarithm
- Existence of Minimal Uncountable Well-Ordered Set/Proof Using Choice
- Existence of Minimal Uncountable Well-Ordered Set/Proof Without Using Choice
- Exponent Combination Laws/Product of Powers/Proof 2
- Exponential Generating Function for Boubaker Polynomials
- Extreme Value Theorem/Real Function

### F

- Factors of Sum of Two Even Powers
- Fermat's Little Theorem/Corollary 3
- Fermat's Little Theorem/Corollary 4
- Finite Group has Composition Series
- Finitely Satisfiable Theory has Maximal Finitely Satisfiable Extension/Lemma
- First Derivative of PGF of Negative Binomial Distribution/First Form
- First Derivative of PGF of Negative Binomial Distribution/Second Form
- Fisher's Inequality
- Focal Property of Parabola
- Definition:Foiaș Constant
- Fourier's Theorem
- Fourier's Theorem/Lemma 2
- Fourier's Theorem/Lemma 3
- Frobenius's Theorem
- Function Obtained by Minimization from URM Computable Functions
- Fundamental Theorem of Galois Theory
- Fundamental Theorem of Symmetric Polynomials

### H

### I

- Ideals of Ring of Integers Modulo m
- Implicitly Defined Real-Valued Function
- Independent Events are Independent of Complement/General Result
- Independent Set can be Augmented by Larger Independent Set/Corollary
- Independent Subset is Base if Cardinality Equals Rank of Matroid/Corollary
- Integral Resulting in Arcsecant
- Intersection with Normal Subgroup is Normal/Examples/Subset Product of Intersection with Intersection
- Intersection with Normal Subgroup is Normal/Examples/Subset Product of Normal Subgroup with Intersection

### K

### L

- Lagrange Polynomial Approximation
- Laplace's Expansion Theorem
- Law of Quadratic Reciprocity
- Leigh.Samphier/Sandbox/Bound for Cardinality of Matroid Circuit
- Leigh.Samphier/Sandbox/Complete Normed Division Ring is Completion of Dense Subring
- Leigh.Samphier/Sandbox/Distance-Preserving Homomorphism Preserves Norm
- Leigh.Samphier/Sandbox/Element of Completion is Limit of Sequence in Normed Division Ring
- Leigh.Samphier/Sandbox/Element of Completion is Limit of Sequence in Normed Division Ring/Corollary
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 1 Iff Definition 3
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 1 Iff Definition 4
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 3 Iff Definition 7
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 4 Iff Definition 5
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 4 Iff Definition 5/Lemma
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Lemma
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 2
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms/Condition 2 Implies Condition 3
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 4
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms/Condition 4 Implies Condition 1
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3/Lemma 1
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3/Lemma 2
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3/Lemma 3
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 2 Implies Condition 1
- Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Rank Axioms/Condition 3 Implies Condition 2
- Leigh.Samphier/Sandbox/Field Operations on P-adic Numbers
- Leigh.Samphier/Sandbox/Inclusion Mapping on Normed Division Subring is Distance Preserving Monomorphism
- Leigh.Samphier/Sandbox/Independent Superset of Dependent Set Minus Singleton Doesn't Contain Singleton
- Leigh.Samphier/Sandbox/Mapping Rational Numbers as Dense Subfield of P-adic Numbers
- Leigh.Samphier/Sandbox/Matroid Base Axiom Implies Sets Have Same Cardinality
- Leigh.Samphier/Sandbox/Matroid Base Substitution From Fundamental Circuit
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Necessary Condition
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 1
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 2
- Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 3
- Leigh.Samphier/Sandbox/Matroid Satisfies Rank Axioms
- Leigh.Samphier/Sandbox/Matroid Unique Circuit Property
- Leigh.Samphier/Sandbox/Matroid Unique Circuit Property/Proof 1
- Leigh.Samphier/Sandbox/Matroid Unique Circuit Property/Proof 2
- Leigh.Samphier/Sandbox/Matroid with No Circuits Has Single Base
- Leigh.Samphier/Sandbox/Normed Division Ring Determines Norm on Completion
- Leigh.Samphier/Sandbox/Normed Division Ring Determines Norm on Completion/Corollary
- Leigh.Samphier/Sandbox/P-adic Expansion Representative of P-adic Number is Unique
- Leigh.Samphier/Sandbox/P-adic Norm of p-adic Number is Power of p
- Leigh.Samphier/Sandbox/P-adic Norm of p-adic Number is Power of p/Lemma
- Leigh.Samphier/Sandbox/P-adic Norm of p-adic Number is Power of p/Proof 1
- Leigh.Samphier/Sandbox/P-adic Norm of p-adic Number is Power of p/Proof 2
- Leigh.Samphier/Sandbox/Proper Subset of Matroid Circuit is Independent
- Leigh.Samphier/Sandbox/Rank of Matroid Circuit is One Less Than Cardinality
- Leigh.Samphier/Sandbox/Rank of Matroid Circuit is One Less Than Cardinality/Lemma
- Leigh.Samphier/Sandbox/Rational Numbers with P-adic Norm is Non-Archimedean Valued Field
- Leigh.Samphier/Sandbox/Representative of P-adic Number is Representative of Equivalence Class
- Leigh.Samphier/Sandbox/Representative of P-adic Product
- Leigh.Samphier/Sandbox/Representative of P-adic Sum
- Lexicographic Order Initial Segments
- Linear Transformations Isomorphic to Matrix Space
- Linear Transformations Isomorphic to Matrix Space/Corollary
- Linearly Ordered Space is Connected iff Linear Continuum
- Definition:Locally Uniform Convergence/Complex Functions
- User:Lord Farin/Sandbox/Archive
- Lucas-Lehmer Test