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