User contributions for 128.9.216.52
Jump to navigation
Jump to search
3 October 2013
- 19:4719:47, 3 October 2013 diff hist +2,631 N Quantifier rank →Examples: Quantified variables shouldn't be subscript. Fixed.