# 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 273 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
- Axiom:Axiom of Continuity
- Axiom of Foundation (Strong Form)/Proof 2
- Axiom:Axiom of Triangle Existence

### B

### C

- Carroll Paradox
- Cauchy Integral Formula
- Central Limit Theorem
- Chain Rule for Real-Valued Functions
- 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
- 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
- Completion of Valued Field
- Complex Integration by Substitution
- Complex Numbers form Algebra
- Composition of Compatible Closure Operators
- Condition for Straight Lines in Plane to be Parallel
- Conditions for Limit Function to be Limit Minimizing Function of Functional
- 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
- Cotangent of Complex Number/Formulation 2
- Cotangent of Complex Number/Formulation 3
- 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
- Disjunction and Implication

### E

- Help:Editing
- Einstein's Mass-Velocity Equation
- Eisenstein's Lemma
- 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 Transitive Closure (Relation Theory)/Union of Compositions is Smallest
- Equivalence of Local Uniform Convergence and Compact Convergence
- Help:Equivalence Proofs
- Equivalent Absolute Values
- Equivalent Definitions of Topology Generated by Synthetic Basis
- Equivalent Matrices have Equal Rank
- Euler-Maclaurin Summation Formula
- Existence and Uniqueness of Cycle Decomposition
- Existence of Logarithm
- Existence of Positive Root/Negative Exponent
- Existence of Positive Root/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

- 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's Theorem
- Fourier's Theorem/Lemma 2
- Fourier's Theorem/Lemma 3
- Frobenius's Theorem
- Function Obtained by Minimization from URM Computable Functions

### G

### H

### I

- Definition:Implicit Function
- Implicitly Defined Real-Valued Function
- Independent Events are Independent of Complement/General Result
- 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

### K

### L

- Lagrange Polynomial Approximation
- Laplace Transform of Derivative
- Laplace Transform of Dirac Delta Function by Function
- Laplace Transform of Exponential/Proof 1
- Laplace Transform of Higher Order Derivatives
- Laplace's Expansion Theorem
- Law of Quadratic Reciprocity
- Lexicographic Order Initial Segments
- Limit of Sequence is Limit of Real Function
- Linear Combination of Complex Integrals
- Linear Combination of Contour Integrals
- 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

### M

- Mapping Induced on Power Set by Surjection is Surjection/Proof 1
- Matrix Multiplication Homogeneous of Degree 1
- Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice
- Measurable Image
- Mills' Theorem
- Modulus and Argument of Complex Exponential
- Morera's Theorem
- Multiplication of Real and Imaginary Parts

### N

### O

- Odd Power Function is Strictly Increasing/General Result
- Odd Power Function is Strictly Increasing/Real Numbers
- Open Set of Irreducible Space is Irreducible
- Order Isomorphism on Foundational Relation preserves Foundational Structure
- Order-Extension Principle/Proof 1
- Ordering can be Expanded to compare Additional Pair/Proof 1
- Axiom:Outer Connectivity of Betweenness

### P

- P-Product Metrics on Real Vector Space are Topologically Equivalent
- Help:Page Editing
- Help:Page Naming
- Mathematician:Paolo Ruffini
- Parabolas Inscribed in Shared Tangent Lines
- Axiom:Pasch's Axiom (Tarski's Axioms)
- Polynomials Closed under Addition/Polynomial Forms
- Polynomials Closed under Ring Product
- Positive-Term Generalized Sum Converges iff Supremum
- Praeclarum Theorema/Formulation 1/Proof 3
- Primary Decomposition Theorem
- Prime Ideal in Lattice
- Prime Magic Square/Examples/Order 12/Smallest with Consecutive Primes from 3
- Prime Magic Square/Examples/Order 3/Smallest with Consecutive Primes
- Primitive of a x + b over p x + q
- Primitive of Exponential of a x by Power of Cosine of b x
- Primitive of Exponential of a x by Power of Sine of b x
- Primitive of Power of a x + b over Power of p x + q/Formulation 1
- Primitive of Power of a x + b over Power of p x + q/Formulation 2
- Primitive of Power of a x + b over Power of p x + q/Formulation 3
- Primitive of Power of p x + q by Root of a x + b
- Primitive of Power of p x + q over Root of a x + b
- Primitive of Reciprocal of p x + q by Root of a x + b
- Primitive of Reciprocal of p x + q by Root of a x + b by Root of p x + q
- Primitive of Reciprocal of Power of p x + q by Root of a x + b
- Primitive of Reciprocal of Root of a x + b by Root of p x + q