# 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 541 total.

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

- User:Abcxyz/Sandbox/Dedekind Completions of Archimedean Ordered Groups
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- Additive Regular Representations of Topological Ring are Homeomorphisms
- Definition:Aleph Mapping
- Alternative Differentiability Condition/Proof 1
- Alternative Differentiability Condition/Proof 2
- Archimedes' Cattle Problem/Difficult Version
- Area between Radii and Whorls of Archimedean Spiral
- Arens-Fort Space is not Extremally Disconnected
- 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
- Cartesian Product is Empty iff Factor is Empty/Family of Sets
- Cauchy Sequence Is Eventually Bounded Away From Non-Limit
- Cauchy Sequence with Finite Elements Prepended is Cauchy Sequence
- Cauchy Sequences form Ring with Unity/Corollary
- Cauchy's Integral Formula
- Central Limit Theorem
- Chain Rule for Real-Valued Functions
- Characterisation of Non-Archimedean Division Ring Norms
- Characterisation of Non-Archimedean Division Ring Norms/Corollary 1
- Characterisation of Non-Archimedean Division Ring Norms/Corollary 2
- Characterisation of Non-Archimedean Division Ring Norms/Corollary 4
- Characterisation of Non-Archimedean Division Ring Norms/Necessary Condition
- Characterisation of Non-Archimedean Division Ring Norms/Sufficient Condition
- Characterisation of Non-Archimedean Division Ring Norms/Sufficient Condition/Lemma 1
- Characterisation of Non-Archimedean Division Ring Norms/Sufficient Condition/Lemma 2
- Characteristic of Ordered Integral Domain is Zero
- Characterization of Closed Ball in P-adic Numbers
- Characterization of Lower Semicontinuity
- Characterization of Minimal Element
- Characterization of Open Ball in P-adic Numbers
- Characterization of Strictly Increasing Mapping on Woset
- Definition:Class/Zermelo-Fraenkel
- Classical Probability is Probability Measure
- Classification of Compact One-Manifolds
- Closed Ball in Normed Division Ring is Closed Ball in Induced Metric
- Closed Ball is Disjoint Union of Open Balls in P-adic Numbers
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers/Disjoint Closed Balls
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers/Lemma 1
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers/Lemma 1/Necessary Condition
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers/Lemma 1/Sufficient Condition
- Closed Ball is Disjoint Union of Smaller Closed Balls in P-adic Numbers/Union of Closed Balls
- Closed Balls Centered on P-adic Number is Countable
- Closed Balls Centered on P-adic Number is Countable/Lemma
- Closed Balls Centered on P-adic Number is Countable/Open Balls
- Closed Balls Centered on P-adic Number is Countable/Open Balls/Lemma
- Closed Balls of P-adic Number
- Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets
- Closure of Subset in Subspace
- Coherent Sequence Converges to P-adic Integer
- Coherent Sequence is Partial Sum of P-adic Expansion
- Coherent Sequence is Partial Sum of P-adic Expansion/Informal Proof
- Coherent Sequence is Partial Sum of P-adic Expansion/Lemma
- Combination Theorem for Cauchy Sequences/Product Rule
- Combination Theorem for Cauchy Sequences/Quotient Rule
- Combination Theorem for Cauchy Sequences/Sum Rule
- Combination Theorem for Continuous Mappings/Normed Division Ring/Inverse Rule
- Combination Theorem for Continuous Mappings/Normed Division Ring/Multiple Rule
- Combination Theorem for Continuous Mappings/Normed Division Ring/Product Rule
- Combination Theorem for Continuous Mappings/Normed Division Ring/Sum Rule
- Combination Theorem for Continuous Mappings/Normed Division Ring/Translation Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Inverse Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Multiple Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Negation Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Product Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Sum Rule
- Combination Theorem for Continuous Mappings/Topological Division Ring/Translation Rule
- Combination Theorem for Continuous Mappings/Topological Group/Multiple Rule
- Combination Theorem for Continuous Mappings/Topological Group/Product Rule
- Combination Theorem for Continuous Mappings/Topological Ring/Multiple Rule
- Combination Theorem for Continuous Mappings/Topological Ring/Negation Rule
- Combination Theorem for Continuous Mappings/Topological Ring/Product Rule
- Combination Theorem for Continuous Mappings/Topological Ring/Sum Rule
- Combination Theorem for Continuous Mappings/Topological Semigroup/Multiple Rule
- Combination Theorem for Continuous Mappings/Topological Semigroup/Product Rule
- Combination Theorem for Sequences/Normed Division Ring/Combined Sum Rule
- Combination Theorem for Sequences/Normed Division Ring/Difference Rule
- Combination Theorem for Sequences/Normed Division Ring/Inverse Rule
- Combination Theorem for Sequences/Normed Division Ring/Multiple Rule
- Combination Theorem for Sequences/Normed Division Ring/Product Rule
- Combination Theorem for Sequences/Normed Division Ring/Quotient Rule
- Combination Theorem for Sequences/Normed Division Ring/Sum Rule
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
- Completion of Normed Division Ring
- Completion of Valued Field
- Complex Integration by Substitution
- Complex Numbers form Algebra
- Composition of Compatible Closure Operators
- Composition of Distance-Preserving Mappings is Distance-Preserving
- Composition of Isometries is Isometry
- Condition for Straight Lines in Plane to be Parallel
- Conditions for Limit Function to be Limit Minimizing Function of Functional
- Connected Component is Closed
- Connected Subset of Union of Disjoint Open Sets
- 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
- Continuous Mapping on Finer Domain and Coarser Codomain Topologies is Continuous
- Continuous Mapping to Topological Product/General Result
- Continuum Property/Proof 1
- Contour Integral along Reversed Contour
- Contour Integral is Well-Defined
- Convergent Sequence is Cauchy Sequence/Normed Division Ring
- Convergent Sequence is Cauchy Sequence/Normed Division Ring/Proof 1
- Convergent Sequence with Finite Elements Prepended is Convergent Sequence
- Countable Basis for P-adic Numbers
- Countable Basis for P-adic Numbers/Closed Balls
- Countable Basis for P-adic Numbers/Cosets
- Countable Product of Second-Countable Spaces is Second-Countable
- Cowen-Engeler Lemma
- Definition:Cyclotomic Ring

### D

- Definition:Degenerate Case
- Dependent Choice (Fixed First Element)
- Definition:Depressed Polynomial
- Derivative of Product of Real Function and Vector-Valued Function
- Derivatives of PGF of Shifted Geometric Distribution
- Determinant with Rows Transposed
- User:Dfeuer/Compact Subspace of Linearly Ordered Space strengthened
- User:Dfeuer/Open Set may not be Open Ball
- Definition:Dicyclic Group
- Difference of Consecutive terms of Coherent Sequence
- 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
- Distance-Preserving Mapping is Injection of Metric Spaces
- Division Ring Norm is Continuous on Induced Metric Space

### E

- Help:Editing
- Einstein's Mass-Velocity Equation
- Eisenstein's Lemma
- Elementary Symmetric Function/Examples/Monic Polynomial
- Embedding Division Ring into Quotient Ring of Cauchy Sequences
- Embedding Normed Division Ring into Ring of Cauchy Sequences
- Embedding Ring into Ring Structure Induced by Ring Operations
- 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 Class in P-adic Integers Contains Unique Coherent Sequence
- Equivalence Class in P-adic Integers Contains Unique Coherent Sequence/Lemma 1
- Equivalence Class in P-adic Integers Contains Unique Coherent Sequence/Lemma 2
- Equivalence Class in P-adic Integers Contains Unique Coherent Sequence/Lemma 3
- Equivalence Class in P-adic Integers Contains Unique Coherent Sequence/Lemma 4
- Equivalence Class in P-adic Integers Contains Unique Coherent Sequence/P-adic Expansion
- 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 Convergence in Normed Division Rings
- Equivalence of Definitions of Convergent P-adic Sequence
- Equivalence of Definitions of Final Topology
- Equivalence of Definitions of Final Topology/Definition 1 Implies Definition 2
- Equivalence of Definitions of Final Topology/Definition 2 Implies Definition 1
- 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 Initial Topology
- Equivalence of Definitions of Initial Topology/Definition 1 Implies Definition 2
- Equivalence of Definitions of Initial Topology/Definition 2 Implies Definition 1
- Equivalence of Definitions of Limit of Vector-Valued Function
- Equivalence of Definitions of Local Basis
- Equivalence of Definitions of Local Basis/Local Basis for Open Sets Implies Neighborhood Basis of Open Sets
- Equivalence of Definitions of Local Basis/Neighborhood Basis of Open Sets Implies Local Basis for Open Sets
- Equivalence of Definitions of Non-Archimedean Division Ring Norm
- Equivalence of Definitions of Real Natural Logarithm
- Equivalence of Definitions of Separated Sets/Definition 1 implies Definition 2
- Equivalence of Definitions of Separated Sets/Definition 2 implies Definition 1
- Equivalence of Definitions of Transitive Closure (Relation Theory)/Union of Compositions is Smallest
- Equivalence of Local Uniform Convergence and Compact Convergence
- Help:Equivalence Proofs
- Equivalent Cauchy Sequences have Equal Limits of Norm Sequences
- Equivalent Matrices have Equal Rank
- Equivalent Norms are both Non-Archimedean or both Archimedean
- Equivalent Norms on Rational Numbers
- Equivalent Norms on Rational Numbers/Sufficient Condition
- 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
- Exponent Combination Laws/Product of Powers/Proof 2/Lemma
- Exponential Function is Well-Defined/Real/Proof 5
- Exponential Generating Function for Boubaker Polynomials
- Extreme Value Theorem/Real Function