User contributions for Lord Farin
Jump to navigation
Jump to search
- 20:59, 27 June 2022 diff hist +565 Talk:Class of All Ordinals is Ordinal
- 07:14, 27 June 2022 diff hist +56 m Superinductive Class under Strictly Progressing Mapping is Proper Class current
- 06:47, 27 June 2022 diff hist −6 m Burali-Forti Paradox current
- 06:45, 27 June 2022 diff hist +72 G-Tower is Well-Ordered under Subset Relation current
- 13:59, 26 June 2022 diff hist +27 m Superinductive Class under Strictly Progressing Mapping is Proper Class Tag: Reverted
- 13:58, 26 June 2022 diff hist +23 m Definition:Descending Chain Condition current
- 12:02, 26 June 2022 diff hist +298 Talk:Main Page current
- 11:59, 26 June 2022 diff hist +63 m Definition:Limit Ordinal/Also see current
- 11:56, 26 June 2022 diff hist +230 Definition:Ordinal/Definition 4 current
- 11:53, 26 June 2022 diff hist +187 N Talk:Union of Set of Ordinals is Ordinal/Corollary/Proof 2 Created page with "Are the redlinks intentional? How are we going to keep track of them and the names chosen? ~~~~" current
- 11:51, 26 June 2022 diff hist +142 Union of Set of Ordinals is Ordinal/Corollary/Proof 1 current
- 11:48, 26 June 2022 diff hist +87 Successor Set of Ordinal is Ordinal/Proof 2 current
- 10:51, 26 June 2022 diff hist +1 m Element of Ordinal is Ordinal current
- 10:37, 26 June 2022 diff hist +59 Union of Set of Ordinals is Ordinal/Proof 2 current
- 10:34, 26 June 2022 diff hist +39 Class of All Ordinals is Well-Ordered by Subset Relation
- 10:33, 26 June 2022 diff hist +9 m Class of All Ordinals is Well-Ordered by Subset Relation/Proof 1 current
- 08:37, 26 June 2022 diff hist +263 Talk:Main Page
- 08:35, 26 June 2022 diff hist +435 Talk:Main Page
- 13:19, 23 June 2022 diff hist +113 m Definition:B-Algebra current
- 13:14, 23 June 2022 diff hist 0 m ProofWiki:Jokes/Biercelogical current
- 07:45, 23 June 2022 diff hist +172 Cardinal Equal to Collection of All Dominated Ordinals current
- 18:56, 22 June 2022 diff hist 0 m Conditional Entropy Given Trivial Sigma-Algebra is Entropy
- 18:55, 22 June 2022 diff hist +172 Conditional Entropy Given Trivial Sigma-Algebra is Entropy
- 18:02, 22 June 2022 diff hist +14 m Pasting Lemma/Pair of Continuous Mappings on Open Sets
- 17:59, 22 June 2022 diff hist +33 m Finite Product of Weakly Locally Compact Spaces is Weakly Locally Compact current
- 11:54, 20 June 2022 diff hist +114 Slope of Tangent to Lemniscate at Origin
- 14:38, 19 June 2022 diff hist +205 Talk:Main Page
- 13:41, 19 June 2022 diff hist +148 Talk:Main Page
- 10:04, 19 June 2022 diff hist +78 User:Lord Farin/Sandbox/Proof Rules current
- 10:02, 19 June 2022 diff hist +32 m Rule of Explosion current
- 10:02, 19 June 2022 diff hist +324 Rule of Explosion/Proof Rule current
- 10:01, 19 June 2022 diff hist +316 Rule of Explosion
- 10:00, 19 June 2022 diff hist −4 m Rule of Explosion/Proof Rule/Tableau Form current
- 09:59, 19 June 2022 diff hist +379 Law of Excluded Middle/Proof Rule current
- 09:59, 19 June 2022 diff hist +434 Law of Excluded Middle current
- 09:57, 19 June 2022 diff hist −4 m Law of Excluded Middle/Proof Rule/Tableau Form current
- 09:57, 19 June 2022 diff hist +54 m Reductio ad Absurdum/Proof Rule current
- 09:57, 19 June 2022 diff hist +31 m Reductio ad Absurdum current
- 09:56, 19 June 2022 diff hist +54 m Reductio ad Absurdum
- 09:56, 19 June 2022 diff hist +332 Reductio ad Absurdum/Proof Rule
- 09:56, 19 June 2022 diff hist +351 Reductio ad Absurdum
- 09:54, 19 June 2022 diff hist −7 Reductio ad Absurdum/Proof Rule/Tableau Form current
- 09:53, 19 June 2022 diff hist +277 Proof by Contradiction/Proof Rule current
- 09:52, 19 June 2022 diff hist −7 m Proof by Contradiction/Proof Rule/Tableau Form current
- 09:51, 19 June 2022 diff hist +325 Proof by Contradiction current
- 09:48, 19 June 2022 diff hist +265 Principle of Non-Contradiction/Proof Rule current
- 09:48, 19 June 2022 diff hist −8 m Biconditional Elimination current
- 09:48, 19 June 2022 diff hist −8 m Biconditional Elimination/Proof Rule current
- 09:48, 19 June 2022 diff hist −8 m Biconditional Introduction current
- 09:48, 19 June 2022 diff hist −8 m Biconditional Introduction/Proof Rule current