User contributions for Cngzz1
Jump to navigation
Jump to search
1 July 2023
- 00:5600:56, 1 July 2023 diff hist +16 Identity Functor is Functor Fixed typo. current
24 June 2023
- 22:2722:27, 24 June 2023 diff hist +24 Sine of X over X as Infinite Product Add explanation for the proof.
- 22:2222:22, 24 June 2023 diff hist +71 Sine of X over X as Infinite Product Add explanation for the proof.
- 22:0122:01, 24 June 2023 diff hist +33 Finite Union of Sets in Additive Function Add Proofs by Induction Category
- 21:5921:59, 24 June 2023 diff hist +86 Finite Union of Sets in Additive Function Add explanation for the proof.
- 21:4521:45, 24 June 2023 diff hist +32 Additive Function is Strongly Additive/Proof 1 Add explanation for the proof. current
- 11:2311:23, 24 June 2023 diff hist +1,057 Intersection of Subsemigroups Add steps in proof to handle case where S is the empty set. current
- 00:5900:59, 24 June 2023 diff hist +270 Real Number Line with Off-Center Distance Function is Quasimetric Space Add steps to the proof current
- 00:4800:48, 24 June 2023 diff hist +180 Metric Induced by Norm is Metric Add explanation to proof current
- 00:3700:37, 24 June 2023 diff hist +107 Norm Equivalence is Equivalence Add explanation for proof current
- 00:2500:25, 24 June 2023 diff hist +46 Norm on Space of Bounded Linear Transformations is Norm Add explanation to proof current
- 00:2000:20, 24 June 2023 diff hist +29 Norm on Space of Bounded Linear Transformations is Norm Add explanation to proof
23 June 2023
- 23:5023:50, 23 June 2023 diff hist +800 Coset Product is Well-Defined/Proof 2 Add explanation
- 12:0312:03, 23 June 2023 diff hist +7 Class Difference with Class Difference Corrected mistake. Should be Class Intersection, not Class Union current
22 June 2023
- 23:4123:41, 22 June 2023 diff hist +46 Endomorphisms on Entropic Structure whose Pointwise Product is Identity Automorphism Add explanation to proof current
- 23:3223:32, 22 June 2023 diff hist +90 Symmetric Closure of Inverse Relation Add explanation to proof current
- 23:1923:19, 22 June 2023 diff hist +108 Inverse Relation Equal iff Subset Add details for the theorem current
- 22:4622:46, 22 June 2023 diff hist +17 Preimage of Image under Left-Total Relation is Superset Add explanation to proof current
17 June 2023
- 05:0305:03, 17 June 2023 diff hist −32 Definition:Universal Class/Zermelo-Fraenkel Theory Fixed link issue
15 June 2023
- 12:4112:41, 15 June 2023 diff hist +7 G-Module is Irreducible iff no Non-Trivial Proper Submodules Fix formatting issues. current
- 12:3312:33, 15 June 2023 diff hist +988 Canonical Basis of Free Module on Set is Basis Add a few steps
- 12:1512:15, 15 June 2023 diff hist +143 Product with Sum of Scalar Add explanation for the proof.
- 12:0012:00, 15 June 2023 diff hist +3 Basis for Finite Submodule of Function Space Fixed grammar current
- 11:5211:52, 15 June 2023 diff hist −7 Z-Module Associated with Abelian Group is Unitary Z-Module Fixed formatting issues. current
12 June 2023
- 22:2322:23, 12 June 2023 diff hist +14 Dimension of Annihilator on Algebraic Dual Add explanation for the proof. current
10 June 2023
- 23:1923:19, 10 June 2023 diff hist +66 Epimorphism Preserves Modules/Corollary Add explanation for the proof.
- 23:1123:11, 10 June 2023 diff hist +228 Unitary Module of All Mappings is Unitary Module Add explanation for the proof. current
- 14:0414:04, 10 June 2023 diff hist +198 Direct Product of Modules is Module Fixed explanation. current
- 13:5613:56, 10 June 2023 diff hist +24 Direct Product of Modules is Module Fixed explanation
- 13:5213:52, 10 June 2023 diff hist +393 Direct Product of Modules is Module Add explanation to proof
- 13:3013:30, 10 June 2023 diff hist +196 Löwenheim-Skolem Theorem Add missing category. Add link to Upward Löwenheim-Skolem Theorem current
- 13:1113:11, 10 June 2023 diff hist +62 Bézout's Identity/Proof 4 Explain what is "By the something {theorem about ideals}" current
- 11:2211:22, 10 June 2023 diff hist +324 Conjugacy Action on Group Elements is Group Action/Proof 2 Added missing definition of (left) conjugacy action on subgroups
- 10:3410:34, 10 June 2023 diff hist −28 Factors of Sum of Two Even Powers Remove cruft Tag: Reverted
- 10:0210:02, 10 June 2023 diff hist −4 Direct Product of Modules is Module Fixed typo.
7 June 2023
- 06:2706:27, 7 June 2023 diff hist +580 Summation over k of Ceiling of k over 2 Add explanation for the proof. current
- 06:2106:21, 7 June 2023 diff hist −130 Summation over k of Ceiling of k over 2 Fixed explanation for proof.
- 06:1706:17, 7 June 2023 diff hist +184 Summation over k of Ceiling of k over 2 Fixed typo. Add explanation to proof
- 06:0706:07, 7 June 2023 diff hist +38 Scalar Product with Sum Add explanation for the proof. current
- 06:0306:03, 7 June 2023 diff hist +282 Subring Module is Module Add explanation for the proof. current
- 05:5505:55, 7 June 2023 diff hist +42 Direct Product of Modules is Module Add explanation for the proof.
- 05:5405:54, 7 June 2023 diff hist +517 Quotient of Group by Center Cyclic implies Abelian Add explanation for the proof.
- 05:1105:11, 7 June 2023 diff hist +42 Direct Product of Modules is Module Add explanation for the proof.
- 05:0805:08, 7 June 2023 diff hist −50 Group is Abelian iff Opposite Group is Itself Add explanation for the proof. current
- 04:5904:59, 7 June 2023 diff hist −45 Homomorphic Image of R-Module is R-Module Add explanation for the proof. current
- 04:5304:53, 7 June 2023 diff hist +258 Epimorphism Preserves Modules Add explanation for the proof.
- 04:5104:51, 7 June 2023 diff hist +159 Epimorphism Preserves Modules Add explanation for the proof.
- 04:3604:36, 7 June 2023 diff hist +662 Mapping on Cartesian Product of Substructures is Restriction of Operation Add explanation for the proof. current
- 04:0004:00, 7 June 2023 diff hist +25 Condition for Semigroup to be Internal Direct Product of Subgroup and Subsemigroup with Right Operation Add explanation for the proof. current
- 03:5503:55, 7 June 2023 diff hist −23 Natural Numbers under Addition form Inductive but not Strictly Inductive Semigroup Add explanation for the proof. current