User contributions for 99.245.3.15

For 99.245.3.15 talk block log logs filter log
Search for contributionsshowhide
⧼contribs-top⧽
⧼contribs-date⧽

7 August 2014

  • 19:0319:03, 7 August 2014 diff hist −268 Monoidremoved unnecessary but confusing qualification of the simply assertion, S x S -> S and the equally redundant assert, "holds."

24 April 2014

7 January 2014

28 August 2013

25 August 2013

14 June 2013

29 April 2013

25 April 2013

10 April 2013

2 April 2013

13 March 2013

8 March 2013

3 March 2013

2 March 2013

1 February 2013