User contributions for L0mars01
Jump to navigation
Jump to search
26 September 2012
- 01:1301:13, 26 September 2012 diff hist +249 Synthetic Basis and Analytic Basis are Compatible tidier
- 00:4700:47, 26 September 2012 diff hist +2 Equivalence of Formulations of Axiom of Choice →Theorem: missing quantifier variable
- 00:4500:45, 26 September 2012 diff hist +2 Axiom:Axiom of Choice →Axiom: missing quantifier variable
25 September 2012
- 19:5419:54, 25 September 2012 diff hist −1,061 Union from Synthetic Basis is Topology/Proof 1 →Proof of $(3)$: slightly simpler
- 18:5918:59, 25 September 2012 diff hist −54 Union from Synthetic Basis is Topology/Proof 1 →Proof of $(2)$: a slightly different and simpler proof
- 06:3406:34, 25 September 2012 diff hist +1 m Synthetic Basis and Analytic Basis are Compatible →Proof
- 06:2406:24, 25 September 2012 diff hist +1,584 Synthetic Basis and Analytic Basis are Compatible proof
- 02:0002:00, 25 September 2012 diff hist +13 m Template:Iff ambiguous description
- 01:5701:57, 25 September 2012 diff hist +101 N Template:Iff Created page with "Insert <nowiki>{{iff}}</nowiki> as an abbreviation for ''<onlyinclude>if and only if</onlyinclude>''."
24 September 2012
- 13:3713:37, 24 September 2012 diff hist +1,121 User talk:Joe →MathJax: suggestion
- 10:5310:53, 24 September 2012 diff hist +259 Transfinite Induction/Principle 2 →Proof: tidiness and correction
- 09:4709:47, 24 September 2012 diff hist +34 Transfinite Induction/Principle 2 →Theorem: correct missing link
23 September 2012
- 13:3013:30, 23 September 2012 diff hist +944 User talk:L0mars01 →On Definition:Characteristic Function
- 02:3802:38, 23 September 2012 diff hist +2 m User talk:L0mars01 →On Definition:Characteristic Function
- 02:3602:36, 23 September 2012 diff hist +2,832 User talk:L0mars01 →On Definition:Characteristic Function
22 September 2012
- 02:5202:52, 22 September 2012 diff hist +272 Definition:Relation →Relation as a Mapping: as characteristic function
- 02:0002:00, 22 September 2012 diff hist −170 Definition:Characteristic Function (Set Theory) Removed redundant definition: relations are sets. The relation special case follows directly.
6 September 2012
- 23:3223:32, 6 September 2012 diff hist +14 Axiom of Choice implies Zorn's Lemma needs proofread