User contributions for Erickgrm
Jump to navigation
Jump to search
21 May 2013
- 17:4517:45, 21 May 2013 diff hist 0 Class of All Ordinals is Ordinal No edit summary
- 17:4417:44, 21 May 2013 diff hist 0 Class of All Ordinals is Ordinal No edit summary
- 17:4417:44, 21 May 2013 diff hist −1 Class of All Ordinals is Ordinal No edit summary
- 17:4417:44, 21 May 2013 diff hist +169 Class of All Ordinals is Ordinal No edit summary
- 17:4017:40, 21 May 2013 diff hist −4 Class of All Ordinals is Ordinal No edit summary
- 17:4017:40, 21 May 2013 diff hist +172 Class of All Ordinals is Ordinal →Proof
- 17:3617:36, 21 May 2013 diff hist −1 Class of All Ordinals is Ordinal No edit summary
- 17:3617:36, 21 May 2013 diff hist −80 Class of All Ordinals is Ordinal No edit summary
- 17:3217:32, 21 May 2013 diff hist +134 Class of All Ordinals is Ordinal No edit summary
- 17:2717:27, 21 May 2013 diff hist +84 Talk:Class of All Ordinals is Ordinal →Invalid proof and statement issues
- 17:2617:26, 21 May 2013 diff hist +313 Talk:Class of All Ordinals is Ordinal →Invalid proof and statement issues
- 16:5416:54, 21 May 2013 diff hist +1 Omitting Types Theorem No edit summary