User contributions for 199.87.83.146
Jump to navigation
Jump to search
10 November 2014
- 22:1622:16, 10 November 2014 diff hist +189 Kind (type theory) No edit summary current