# Category:Proofread

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 404 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
- Definition:Aleph Mapping
- Alternative Differentiability Condition/Proof 1
- Alternative Differentiability Condition/Proof 2
- Antisymmetric Quotient of Preordered Set is Ordered Set
- 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

### C

- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Carroll Paradox
- Cauchy Sequence is Bounded/Normed Division Ring
- Cauchy Sequence Is Eventually Bounded Away From Non-Limit
- Cauchy Sequence with Finite Elements Prepended is Cauchy Sequence
- Definition:Cauchy Sequence/Normed Division Ring
- 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
- Characterisation of Cauchy Sequence in Non-Archimedean Norm/Necessary Condition
- Characterisation of Cauchy Sequence in Non-Archimedean Norm/Sufficient Condition
- Characterisation of Non-Archimedean Absolute Values
- Characterisation of Non-Archimedean Absolute Values/Corollary
- Characteristic of Ordered Integral Domain is Zero
- Characterization of Lower Semicontinuity
- Characterization of Minimal Element
- Characterization of N-Cube
- 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
- 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 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/Inverse Rule/Lemma
- 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/Product Rule/Proof 1
- Combination Theorem for Sequences/Normed Division Ring/Product Rule/Proof 2
- 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
- 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 along Reversed Contour
- Contour Integral is Well-Defined
- Convergent Sequence with Finite Elements Prepended is Convergent Sequence
- Definition:Convergent Sequence/Normed Division Ring
- Convergent Sequences to Zero are Maximal Ideal
- Cowen-Engeler Lemma

### 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 Laplace Transform
- 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
- User:DingChao/Sandbox
- User:DingChao/Sandbox/Ultraproduct is Well-defined
- Disjunction and Implication
- Distance-Preserving Image Isometric to Domain for Metric Spaces
- Distance-Preserving Mapping is Injection of Metric Spaces
- Division Ring Norm is Continuous on Induced Metric Space
- Division Subring of Normed Division Ring

### E

- Help:Editing
- Einstein's Mass-Velocity Equation
- Eisenstein's Lemma
- 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
- 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 Topology Generated by Synthetic Basis
- 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 Absolute Values
- Equivalent Cauchy Sequences have Equal Limits of Norm Sequences
- Equivalent Matrices have Equal Rank
- Euler-Maclaurin Summation Formula
- Existence and Uniqueness of Cycle Decomposition
- Existence of Logarithm
- Existence of Minimal Uncountable Well-Ordered Set/Proof Using Choice
- Existence of Minimal Uncountable Well-Ordered Set/Proof Without Using Choice
- Existence of Positive Root of Positive Real Number/Negative Exponent
- Existence of Positive Root of Positive Real Number/Positive Exponent
- Exponent Combination Laws/Power of Power/Proof 2
- 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

### F

- Fermat's Little Theorem/Corollary 3
- Fermat's Little Theorem/Corollary 4
- Field of Characteristic Zero has Unique Prime Subfield/Proof 2
- Field of Prime Characteristic has Unique Prime Subfield
- Finite Group has Composition Series
- Finite Intersection of Regular Open Sets is Regular Open
- Finite Union of Regular Closed Sets is Regular Closed
- 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
- First Order ODE/y' - f (y) phi' (x) over f' (y) = phi (x) phi' (x) over f' (y)
- Fisher's Inequality
- Definition:Foiaș Constant
- Fourier Series/Cosine of Non-Integer Multiple of x over 0 to Pi
- Fourier Series/Cosine of x over Minus Pi to Zero, Minus Cosine of x over Zero to Pi
- Fourier Series/Cosine Series for x over 0 to Pi
- Fourier Series/Exponential of x over Minus Pi to Pi
- Fourier Series/Pi Squared minus x Squared over Minus Pi to Pi
- Fourier Series/Square of x minus pi, Square of pi
- 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

### G

### H

### I

- Definition:Implicit Function
- Implicitly Defined Real-Valued Function
- Independent Events are Independent of Complement/General Result
- Inequality Rule for Real Sequences
- Injection from Finite Set to Itself is Surjection
- Integers whose Sigma Value is Cube
- Integral Resulting in Arcsecant
- Internal Group Direct Product is Injective/General Result
- Intersection of Closed Sets is Closed/Closure Operator
- Intersection of Complete Meet Subsemilattices invokes Closure Operator
- 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
- Inverse of Isometric Isomorphism
- Isometric Isomorphism is Norm-Preserving
- Isometrically Isomorphic Non-Archimedean Division Rings