Category:Basic Refactoring
Jump to navigation
Jump to search
(previous page) (next page)
These are pages which are in the process of being refactored.
The required work is believed to be of basic level.
See the {{Refactor}} template.
Pages in category "Basic Refactoring"
The following 200 pages are in this category, out of 220 total.
(previous page) (next page)B
C
- Characterisation of Local Rings
- Choice Function Exists for Well-Orderable Union of Sets
- Definition:Class Mapping
- Definition:Cohomology Groups
- Combination of Recursive Functions
- Definition:Commutator Subgroup
- Definition:Complementary Idempotent
- Definition:Complex Riemann Integral
- Compositions of Closure Operators are both Closure Operators iff Operators Commute
- Definition:Constant Polynomial
- Continued Fraction Identities/First/Infinite
- Continuous Real Function is Darboux Integrable
- Definition:Convergent Net
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Definition:Convergent Sequence/Metric Space
- Correspondence between Rational Numbers and Simple Finite Continued Fractions
- Cyclic Group of Order 6
D
- Dependent Choice for Finite Sets
- Derivative of Constant Multiple/Real/Corollary
- Definition:Derivative/Higher Derivatives/Second Derivative
- Definition:Diagonalizable Operator
- Definition:Differentiable Mapping between Manifolds
- Definition:Differential of Mapping/Vector-Valued Function
- Definition:Dihedral Group
- Disjunction and Implication
- Definition:Disk
- Divisors of Repunit with Composite Index
- Definition:Dual Statement (Category Theory)
- Duality Principle (Category Theory)/Formal Duality
E
- Definition:Embedding (Differential Geometry)
- Definition:Embedding (Model Theory)
- Epimorphism from Real Numbers to Circle Group
- Equality implies Substitution
- Definition:Equidistance
- Equivalence of Definitions of Absolute Convergence of Product
- Equivalence of Definitions of Closed Linear Span
- Equivalence of Definitions of Gamma Function
- Equivalence of Definitions of Limit Point
- Equivalence of Definitions of Null Set in Euclidean Space
- Equivalence of Definitions of Principal Ideal
- Equivalence of Definitions of Semiring of Sets
- Equivalence Relation induced by Congruence Relation on Quotient Structure is Congruence
- Definition:Euler Characteristic of Finite Graph
- Euler Formula for Sine Function/Real Numbers/Proof 1
- Existence and Uniqueness of Direct Limit of Sequence of Groups
- Existence and Uniqueness of Generated Topology
- Existence of Abscissa of Absolute Convergence
- Existence of Abscissa of Convergence
- Definition:Exponential Distribution
- Extremal Length of Union
F
G
H
I
L
- Definition:Labeled Graph
- Lagrange's Four Square Theorem/Proof 2
- Definition:Language
- Definition:Lattice/Definition 3
- Left-Truncated Automorphic Number is Automorphic
- Lexicographic Order forms Well-Ordering on Ordered Pairs of Ordinals
- Definition:Limit of Complex Function
- Lower Bounds for Denominators of Simple Continued Fraction
M
- Definition:Measure (Measure Theory)
- Meet Preserves Directed Suprema
- Definition:Metagraph
- Definition:Minimization
- Definition:Model (Boolean Interpretations)
- Definition:Module Defined by Ring Homomorphism
- Monotonicity of Real Sequences
- Morley's Trisector Theorem
- Morley's Trisector Theorem/Proof 2
- Multiplication of Real and Imaginary Parts
- Definition:Multiplicity (Polynomial)
N
- Definition:N-Ary Operation Induced by Binary Operation
- Definition:Nagata Criterion
- Nakayama's Lemma
- Necessary Condition for Integral Functional to have Extremum/Two Variables/Lemma
- No Largest Ordinal
- Norm of Vector Cross Product
- Definition:NP Complexity Class
- Definition:Null Polynomial
- Definition:Null Set
- Number is Sum of Five Cubes
- Number of Characters on Finite Abelian Group
- Definition:Numerators and Denominators of Continued Fraction
O
P
- Axiom:Pasch's Axiom (Tarski's Axioms)
- Definition:Pointwise Operation/Real-Valued Functions
- Definition:Pole of Complex Function
- Definition:Polynomial Function/Complex
- Definition:Polynomial Function/Real
- Definition:Polynomial Ring/Indeterminate
- Positive Power Function on Non-negative Reals is Strictly Increasing
- Definition:Power (Algebra)/Complex Number/Principal Branch
- Definition:Power (Algebra)/Complex Number/Principal Branch/Positive Real Base
- Power Sets of Equinumerous Sets are Equinumerous
- Definition:Pre-Abelian Category
- Primary Decomposition Theorem
- Primitive of Reciprocal/Corollary 2
- Probability of Occurrence of At Least One Independent Event
- Definition:Product Notation (Algebra)/Infinite
- Definition:Product of Ideals of Ring
- Product of Powers in B-Algebra
- Product of Rationally Expressible Numbers is Rational
- Properties of Affine Spaces
- Properties of Algebras of Sets
- Properties of Grötzsch and Teichmüller Moduli
- Properties of Legendre Symbol
- Properties of Matrix Exponential
- Properties of Ordered Field
- Properties of Ordered Ring
- Properties of Semi-Inner Product
- Pumping Lemma for Regular Languages
- Definition:Pythagorean Equation
R
- Range of Idempotent is Kernel of Complementary Idempotent
- Definition:Ratio
- Real and Imaginary Part Projections are Continuous
- Recurrence Formula for Bessel Function of the First Kind
- Definition:Ring of Formal Laurent Series
- Ring of Integers Modulo 2/Cayley Tables
- Rokhlin's Theorem on Bounded Manifolds and Induced Spin Structures
S
- Definition:Saturation of Multiplicatively Closed Subset of Ring
- Scheffé's Lemma
- Second Borel-Cantelli Lemma
- Definition:Seminorm
- Definition:Semiring of Sets
- Sequence of Powers of Number less than One
- Set is Open iff Union of Open Balls
- Set Operations on Primitive Recursive Relations
- Shape of Cotangent Function
- Shape of Tangent Function
- Definition:Sheafification
- Definition:Sigma-Algebra/Definition 1
- Signum Function is Primitive Recursive
- Definition:Simple Function
- Simple Infinite Continued Fraction is Uniquely Determined by Limit
- Simultaneous Equation With Two Unknowns
- Sine and Cosine are Periodic on Reals
- Singleton Equality
- Definition:Singular Conjunction
- Definition:Space of Bounded Linear Transformations
- Definition:Space of Simple Functions
- Spectral Theorem for Compact Hermitian Operators
- Definition:Stability (Differential Equations)
- Definition:Stencil
- Strictly Well-Founded Relation determines Strictly Minimal Elements/Lemma
- Strong Separation Theorem
- Definition:Structure Sheaf of Spectrum of Ring
- Definition:Sturm-Liouville Equation
- Sturm-Liouville Problem/Unit Weight Function
- Subalgebra of Finite Field Extension is Field
- Definition:Subset/Class
- Successor is Less than Successor
- Successor is Less than Successor/Sufficient Condition
- Sum of Elements of Invertible Matrix
- Definition:Sum of Ideals of Ring
- Sum of Trigonometric Functions over Power
- Summation of Powers over Product of Differences/Proof 3
- Definition:Support of Mapping to Algebraic Structure
- Symmetric Group on 3 Letters/Generators