User contributions for 50.174.221.28
Jump to navigation
Jump to search
25 September 2014
- 20:2720:27, 25 September 2014 diff hist +3 Axiom of pairing Fix for mathjax - \exist -> \exists current
- 20:2020:20, 25 September 2014 diff hist +2 Axiom of union Fix for mathjax - \exist -> \exists current
- 20:2020:20, 25 September 2014 diff hist +7 Axiom schema of predicative separation Fix for mathjax - \exist -> \exists current
- 20:1520:15, 25 September 2014 diff hist +154 Axiom of regularity Fix for mathjax - \exist -> \exists current
- 20:1320:13, 25 September 2014 diff hist +2 Axiom of extensionality Fix for mathjax - \exist -> \exists current