User contributions for 24.44.161.44
Jump to navigation
Jump to search
9 June 2011
- 02:0602:06, 9 June 2011 diff hist +3,293 N Peano-Russell notation Changed the dots so that they are different, per Russel's original notation