User contributions for Arthur
Jump to navigation
Jump to search
14 July 2011
- 05:1105:11, 14 July 2011 diff hist +156 Euclidean Domain is Principal Ideal Domain No edit summary
3 July 2011
- 02:0802:08, 3 July 2011 diff hist +86 Union Distributes over Intersection →Intersection Subset of Union
27 June 2011
- 21:5821:58, 27 June 2011 diff hist −1 Pythagoras's Theorem/Proof 1 whoops! now reversed order as I had misread the the now first line as typo for unexpanded third line instead of just expansion of left side
- 15:5115:51, 27 June 2011 diff hist +6 Pythagoras's Theorem/Proof 1 typo omitted a^2
- 13:4913:49, 27 June 2011 diff hist +666 Axiom:Axiom of Pairing proof from powers and replacement
- 02:3902:39, 27 June 2011 diff hist +135 External Direct Product Closure typo S ==> T and elaborate
26 June 2011
- 07:3207:32, 26 June 2011 diff hist +2,383 Talk:Sum of Geometric Sequence generality for elementary results on unital banach algebra
25 June 2011
- 18:4118:41, 25 June 2011 diff hist +120 Talk:Sum of Geometric Sequence No edit summary
- 18:2418:24, 25 June 2011 diff hist +447 N Talk:Idempotent Elements of Ring with No Proper Zero Divisors generalize to cancellative semigroups
- 17:5317:53, 25 June 2011 diff hist +1,049 N Talk:Ring Product with Zero generalize to ringoid magma distributor with cancellative semigroup distribuand current
- 17:3117:31, 25 June 2011 diff hist −1 Addition of Division Products typo z => b
24 June 2011
- 18:0118:01, 24 June 2011 diff hist +11,219 N User:Prime.mover/Sandbox/Minimal Negation Operator Created page with "== Definition == Let $\Bbb B$ be a Boolean domain: : $\Bbb B = \left\{{\mathrm F, \mathrm T}\right\}$ The '''minimal negation operator''' $\nu$ i..."
- 17:5717:57, 24 June 2011 diff hist +36 User:Arthur No edit summary current
- 16:4316:43, 24 June 2011 diff hist +104 ProofWiki:Current events →Software/Computing
23 June 2011
- 14:1714:17, 23 June 2011 diff hist 0 Center of Symmetric Group is Trivial typo
- 14:0814:08, 23 June 2011 diff hist +973 Center of Symmetric Group is Trivial expanded terse alternate version, hopefully to clarify
22 June 2011
- 18:4418:44, 22 June 2011 diff hist +208 Infinite Set has Countably Infinite Subset →Note
- 18:3918:39, 22 June 2011 diff hist +35 Infinite Set has Countably Infinite Subset →Comment
- 13:2913:29, 22 June 2011 diff hist +80 Infinite Set has Countably Infinite Subset the formal proof is a common fallacy
- 12:4112:41, 22 June 2011 diff hist +86 User:Arthur link to IP address edits
- 12:3512:35, 22 June 2011 diff hist +53 N User:58.175.209.215 link to registered user current
- 12:2712:27, 22 June 2011 diff hist +889 N User:Arthur Hi - use talk not email