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

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

- User:Abcxyz/Sandbox/Dedekind Completions of Archimedean Ordered Groups
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- Absolutely Convergent Generalized Sum Converges
- Additive Regular Representations of Topological Ring are Homeomorphisms
- Definition:Aleph Mapping
- Alternative Differentiability Condition/Proof 1
- Alternative Differentiability Condition/Proof 2
- Book:Antoni Zygmund/Trigonometrical Series
- 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

- Bases of Vector Space have Equal Cardinality
- Basis Condition for Coarser Topology
- Basis Condition for Coarser Topology/Corollary 1
- Basis Condition for Coarser Topology/Corollary 2
- Binomial Theorem/Multiindex
- Boolean Prime Ideal Theorem
- Boubaker's Theorem
- Boubaker's Theorem/Proof of Uniqueness
- Bézout's Lemma/Euclidean Domain

### C

- Cantor-Dedekind Hypothesis
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Carroll Paradox
- 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 Cauchy Sequence in Non-Archimedean Norm/Necessary Condition
- 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/Corollary 5
- 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 N-Cube
- 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 contains Smaller Closed Ball
- Closed Ball contains Smaller Open Ball
- 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/Inverse Rule
- 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
- Definition:Completion (Normed Division Ring)
- 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
- Cowen-Engeler Lemma
- Definition:Cyclotomic Ring

### D

- Definition:Degenerate Case
- Dependent Choice (Fixed First Element)
- Definition:Depressed Polynomial
- Derivative of Arc Length
- Derivative of Arc Length/Proof 2
- Derivative of Exponential Function/Proof 5
- 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 Equivalent Division Ring Norms
- Equivalence of Definitions of Equivalent Division Ring Norms/Cauchy Sequence Equivalent implies Open Unit Ball Equivalent
- Equivalence of Definitions of Equivalent Division Ring Norms/Convergently Equivalent implies Null Sequence Equivalent
- Equivalence of Definitions of Equivalent Division Ring Norms/Norm is Power of Other Norm implies Cauchy Sequence Equivalent
- Equivalence of Definitions of Equivalent Division Ring Norms/Norm is Power of Other Norm implies Topologically Equivalent
- Equivalence of Definitions of Equivalent Division Ring Norms/Null Sequence Equivalent implies Open Unit Ball Equivalent
- Equivalence of Definitions of Equivalent Division Ring Norms/Open Unit Ball Equivalent implies Norm is Power of Other Norm
- Equivalence of Definitions of Equivalent Division Ring Norms/Topologically Equivalent implies Convergently Equivalent
- 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