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

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

- Abel's Test for Uniform Convergence
- Absolute Net Convergence Equivalent to Absolute Convergence
- Absolute Net Convergence Equivalent to Absolute Convergence/Absolute Convergence implies Absolute Net Convergence
- Absolute Net Convergence Equivalent to Absolute Convergence/Absolute Net Convergence implies Absolute Convergence
- Absolute Value of Function is Composite with Absolute Value Function
- Absolutely Convergent Generalized Sum Converges to Supremum
- Absolutely Convergent Generalized Sum over Union of Disjoint Index Sets
- Acceleration of Particle moving in Circle
- Addition of Integers is Primitive Recursive
- Additive Inverse in Ring of Bounded Continuous Real-Valued Functions
- Additive Inverse in Ring of Continuous Mappings
- Additive Inverse in Ring of Continuous Real-Valued Functions
- 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

- Banach-Alaoglu Theorem
- Banach-Alaoglu Theorem/Proof 2
- Banach-Tarski Paradox/Proof 2
- Binomial Theorem/Multiindex
- Boolean Lattice is Heyting Lattice
- Boolean Prime Ideal Theorem
- Boubaker's Theorem
- Boubaker's Theorem/Proof of Uniqueness
- Bounded Generalized Sum is Absolutely Convergent
- Burnout Height of Upward Rocket under Constant Gravity
- Bézout's Identity/Euclidean Domain

### 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
- Carroll Paradox
- Category of Frames is Category
- Category of Locales is Category
- Category of Locales with Localic Mappings is Category
- Category of Locales with Localic Mappings is Isomorphic to Category of Locales
- Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 1
- Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 2
- Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 3
- Category of Locales with Localic Mappings is Isomorphic to Category of Locales/Lemma 4
- 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 of Closed Set by Open Cover
- Characterization of Compact Element in Complete Lattice
- Characterization of Compact Element in Complete Lattice/Statement 1 implies Statement 3
- Characterization of Compact Element in Complete Lattice/Statement 2 implies Statement 1
- Characterization of Compact Element in Complete Lattice/Statement 3 implies Statement 2
- Characterization of Compact Element in Frame or Locale
- Characterization of Completely Prime Filter in Complete Lattice
- Characterization of Completely Prime Filter in Complete Lattice/Necessary Condition
- Characterization of Completely Prime Filter in Complete Lattice/Sufficient Condition
- Characterization of Completely Prime Ideal in Complete Lattice
- Characterization of Even Cover
- Characterization of Generalized Hilbert Sequence Space
- Characterization of Generalized Hilbert Sequence Space/Necessary Condition
- Characterization of Generalized Hilbert Sequence Space/Sufficient Condition
- Characterization of Join Irreducible Element
- Characterization of Locale
- Characterization of Locale/Statement 3 Implies Statement 4
- Characterization of Locale/Statement 5 Implies Statement 3
- Characterization of Localic Mapping Induced by Continuous Mapping
- Characterization of Lower Semicontinuity
- Characterization of Matroid Independent Sets in Terms of Bases
- Characterization of Meet Irreducible Element
- Characterization of Meet-Irreducible Open Set
- Characterization of Minimal Element
- Characterization of Open Set by Open Cover
- Characterization of Paracompactness in T3 Space/Lemma 1
- Characterization of Paracompactness in T3 Space/Lemma 10
- Characterization of Paracompactness in T3 Space/Lemma 11
- Characterization of Paracompactness in T3 Space/Lemma 12
- Characterization of Paracompactness in T3 Space/Lemma 13
- Characterization of Paracompactness in T3 Space/Lemma 14
- Characterization of Paracompactness in T3 Space/Lemma 16
- Characterization of Paracompactness in T3 Space/Lemma 17
- Characterization of Paracompactness in T3 Space/Lemma 18
- Characterization of Paracompactness in T3 Space/Lemma 19
- Characterization of Paracompactness in T3 Space/Lemma 2
- Characterization of Paracompactness in T3 Space/Lemma 20
- Characterization of Paracompactness in T3 Space/Lemma 21
- Characterization of Paracompactness in T3 Space/Lemma 3
- Characterization of Paracompactness in T3 Space/Lemma 4
- Characterization of Paracompactness in T3 Space/Lemma 5
- Characterization of Paracompactness in T3 Space/Lemma 7
- Characterization of Paracompactness in T3 Space/Lemma 8
- Characterization of Paracompactness in T3 Space/Lemma 9
- Characterization of Paracompactness in T3 Space/Statement 1 implies Statement 2
- Characterization of Paracompactness in T3 Space/Statement 1 implies Statement 6
- Characterization of Paracompactness in T3 Space/Statement 2 implies Statement 3
- Characterization of Paracompactness in T3 Space/Statement 3 implies Statement 1
- Characterization of Paracompactness in T3 Space/Statement 3 implies Statement 4
- Characterization of Paracompactness in T3 Space/Statement 4 implies Statement 5
- Characterization of Paracompactness in T3 Space/Statement 5 implies Statement 6
- Characterization of Paracompactness in T3 Space/Statement 6 implies Statement 2
- Characterization of Pointwise Maximum of Real-Valued Functions
- Characterization of Pointwise Minimum of Real-Valued Functions
- Characterization of Rational P-adic Integer
- Characterization of Rational P-adic Unit
- Characterization of Set Equals Union of Sets
- Characterization of Strictly Increasing Mapping on Woset
- Characterization of T1 Space using Basis
- Characterization of T1 Space using Neighborhood Basis
- Characterization of T3 Space
- Circuits of Matroid iff Matroid Circuit Axioms
- Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1
- Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid
- Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1
- Circuits of Matroid iff Matroid Circuit Axioms/Lemma 2
- Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3
- Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4
- Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5
- 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
- Combination Theorem for Bounded Continuous Real-Valued Functions
- Combination Theorem for Bounded Continuous Real-Valued Functions/Difference Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Maximum Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Minimum Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Multiple Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Negation Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Product Rule
- Combination Theorem for Bounded Continuous Real-Valued Functions/Sum Rule
- Combination Theorem for Bounded Real-Valued Functions
- Combination Theorem for Bounded Real-Valued Functions/Difference Rule
- Combination Theorem for Bounded Real-Valued Functions/Maximum Rule
- Combination Theorem for Bounded Real-Valued Functions/Minimum Rule
- Combination Theorem for Bounded Real-Valued Functions/Multiple Rule
- Combination Theorem for Bounded Real-Valued Functions/Negation Rule
- Combination Theorem for Bounded Real-Valued Functions/Product Rule
- Combination Theorem for Bounded Real-Valued Functions/Sum Rule
- Combination Theorem for Continuous Real-Valued Functions
- Combination Theorem for Continuous Real-Valued Functions/Difference Rule
- Combination Theorem for Continuous Real-Valued Functions/Maximum Rule
- Combination Theorem for Continuous Real-Valued Functions/Minimum Rule
- Combination Theorem for Continuous Real-Valued Functions/Multiple Rule
- Combination Theorem for Continuous Real-Valued Functions/Negation Rule
- Combination Theorem for Continuous Real-Valued Functions/Product Rule
- Combination Theorem for Continuous Real-Valued Functions/Sum Rule
- Commutativity of Ring of Continuous Mappings
- Compact Space is Pseudocompact
- Compact Subspace of Linearly Ordered Space
- Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 1
- Complement of Closed Set is Open Set
- Complete Boolean Lattice is a Frame
- Complete Boolean Lattice is a Locale
- Complete Lattice has Both Greatest Element and Smallest Element
- Completely Prime Filter Induces Meet-Irreducible Open Set
- Completely Prime Ideal is Dual of Completely Prime Filter
- Composite Frame Homomorphism is Frame Homomorphism
- Composite Localic Mapping is Localic Mapping
- 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
- Composition of Relations Preserves Subsets
- 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
- Consistency Principle for Binary Mess
- 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
- Continuous Real-Valued Function on Compact Space is Bounded
- Convex Set is Contractible
- Convex Set is Path-Connected
- Coordinate Representation of Divergence
- Countable Open Covers Condition for Separated Sets
- Countably Infinite Set has Enumeration
- Cowen-Engeler Lemma
- Definition:Cumulative Frequency/Absolute
- Definition:Cumulative Frequency/Relative