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

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

- Acceleration of Particle moving in Circle
- Definition:Adjoint (Norm Theory)
- Definition:Aleph Mapping
- All Bases of Matroid have same Cardinality/Corollary
- Alternating Group is Simple except on 4 Letters/Lemma 3
- Definition:Antilexicographic Order/Family
- 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 of Specification from Replacement and Empty Set
- Axiom:Axiom of Triangle Existence
- Axioms of Hilbert Proof System Instance 1 for Predicate Logic are Tautologies

### B

### C

- Canonical P-adic Expansion of Rational is Eventually Periodic/Lemma 1
- Canonical P-adic Expansion of Rational is Eventually Periodic/Lemma 11
- Canonical P-adic Expansion of Rational is Eventually Periodic/Lemma 2
- Canonical P-adic Expansion of Rational is Eventually Periodic/Necessary Condition
- Cantor-Dedekind Hypothesis
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Carroll Paradox
- Chain Rule for Real-Valued Functions
- Characteristic of Ordered Integral Domain is Zero
- Characterization for Topological Evaluation Mapping to be Embedding
- Characterization for Topological Evaluation Mapping to be Embedding/Necessary Condition
- Characterization for Topological Evaluation Mapping to be Embedding/Sufficient Condition
- Characterization of Closed Set by Open Cover
- Characterization of Lower Semicontinuity
- Characterization of Minimal Element
- Characterization of Open Set by Open Cover
- Characterization of Rational P-adic Integer
- Characterization of Rational P-adic Unit
- Characterization of Strictly Increasing Mapping on Woset
- Characterization of T3 Space
- Definition:Class (Class Theory)/Zermelo-Fraenkel
- Classical Probability is Probability Measure
- Classification of Compact One-Manifolds
- Classification of Compact One-Manifolds/Corollary
- Classification of Compact One-Manifolds/Lemma 1
- Classification of Compact One-Manifolds/Lemma 2
- Classification of Compact One-Manifolds/Lemma 3
- Closed Ball in Metric Space is Closed Neighborhood
- Closed Ball is Connected
- Closed Ball is Path-Connected
- Closed Subspace of Lindelöf Space is Lindelöf Space
- Closed Unit Interval is not Countably Infinite Union of Disjoint Closed Sets
- Closures of Elements of Locally Finite Set is Locally Finite
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
- Compactness from Basis
- Composite of Evaluation Mapping and Projection
- Composition of Compatible Closure Operators
- Composition of Distance-Preserving Mappings is Distance-Preserving
- Composition of Mapping with Mapping Restricted to Image
- Condition for Closed Extension Space to be T5 Space
- Condition for Mapping from Quotient Set to be Injection
- Condition for Partition between Invertible and Non-Invertible Elements to induce Congruence Relation on Monoid
- Condition for Subgroup of Power Set of Group to be Quotient Group
- Conditions for Limit Function to be Limit Minimizing Function of Functional
- Conditions under which Commutative Semigroup is Group
- Conjugacy Action on Group Elements is Group Action/Proof 2
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Construction of Direct Product of Fields
- Continuous Complex Function is Complex Riemann Integrable
- Continuous Mapping from Compact Space to Hausdorff Space Preserves Local Connectedness
- Convex Set is Contractible
- Convex Set is Path-Connected
- Coordinate Representation of Divergence
- Countable Open Covers Condition for Separated Sets
- Cowen-Engeler Lemma
- Definition:Curvature/Polar Form
- Definition:Cyclotomic Ring

### D

- Definition:Degenerate Case
- Dependent Choice (Fixed First Element)
- Dependent Subset of Independent Set Union Singleton Contains Singleton
- Derivatives of PGF of Shifted Geometric Distribution
- User:Dfeuer/Open Set may not be Open Ball
- Different Representations to Number Base represent Different Integers
- Definition:Differential Operator
- Direct Image Mapping of Surjection is Surjection/Proof 1
- Direction Angle of 2D Vector in Terms of Arctangent
- Disjunction and Implication

### E

- Eisenstein's Lemma
- Elementary Symmetric Function/Examples/Monic Polynomial
- Epimorphism Preserves Associativity
- Epimorphism Preserves Commutativity
- Epimorphism Preserves Distributivity
- Equality of Ordered Pairs/Necessary Condition/Proof from Empty Set Formalization
- Equality of Ordered Pairs/Necessary Condition/Proof from Wiener Formalization
- Equations defining Plane Reflection/Matrix
- Equations defining Projection in Plane/Cartesian
- 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 Curvature/Whewell Form to Parametric Polar Form
- 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 Matroid Circuit Axioms
- Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 2
- Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 3
- Equivalence of Definitions of Matroid Circuit Axioms/Condition 2 Implies Condition 4
- Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 1
- Equivalence of Definitions of Matroid Circuit Axioms/Condition 4 Implies Condition 1
- Equivalence of Definitions of Matroid Circuit Axioms/Lemma 1
- Equivalence of Definitions of Matroid Circuit Axioms/Lemma 2
- Equivalence of Definitions of Matroid Circuit Axioms/Lemma 3
- Equivalence of Definitions of Matroid Circuit Axioms/Lemma 4
- Equivalence of Definitions of Matroid Circuit Axioms/Lemma 5
- Equivalence of Definitions of Matroid Rank Axioms
- Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3
- Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3/Proof 1
- Equivalence of Definitions of Matroid Rank Axioms/Condition 1 Implies Condition 3/Proof 2
- Equivalence of Definitions of Matroid Rank Axioms/Condition 2 Implies Condition 1
- Equivalence of Definitions of Matroid Rank Axioms/Condition 3 Implies Condition 1
- Equivalence of Definitions of Matroid Rank Axioms/Condition 3 Implies Condition 2
- Equivalence of Definitions of Matroid Rank Axioms/Lemma 1
- Equivalence of Definitions of Matroid Rank Axioms/Lemma 2
- Equivalence of Definitions of Matroid Rank Axioms/Lemma 3
- Equivalence of Definitions of Matroid Rank Axioms/Lemma 4
- Equivalence of Definitions of Metrizable Topology
- Equivalence of Definitions of P-adic Integer
- Equivalence of Definitions of P-adic Integer/Definition 1 Implies Definition 2
- Equivalence of Definitions of P-adic Integer/Definition 2 Implies Definition 1
- Equivalence of Definitions of P-adic Norms
- Equivalence of Definitions of Primitive Root of Unity
- Equivalence of Definitions of Real Natural Logarithm/Proof 1
- Equivalence of Definitions of Riemann and Darboux Integrals
- Equivalence of Definitions of Transitive Closure (Relation Theory)/Union of Compositions is Smallest
- Equivalent Matrices have Equal Rank
- Euler-Maclaurin Summation Formula
- Evaluation Mapping is Injective iff Mappings Separate Points
- Evaluation Mapping on T1 Space is Embedding if Mappings Separate Points from Closed Sets
- Existence and Uniqueness of Magma of Sets Generated by Collection of Subsets
- Existence of Laurent Series
- Existence of Minimal Uncountable Well-Ordered Set/Proof Using Choice
- Existence of Minimal Uncountable Well-Ordered Set/Proof Without Using Choice
- Existence of Real Logarithm
- Exponent Combination Laws/Product of Powers/Proof 2
- Exponential Generating Function for Boubaker Polynomials
- Definition:Exterior Algebra
- Extreme Value Theorem

### 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 Calculus/Second Part
- Fundamental Theorem of Calculus/Second Part/Proof 3
- Fundamental Theorem of Galois Theory
- Fundamental Theorem of Symmetric Polynomials

### G

### H

### I

- Image of P-adic Norm
- 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
- Induced Metric on Surface of Revolution
- Initial Segment of Ordinals under Lexicographic Order
- Integers with Metric Induced by P-adic Valuation
- 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