User contributions for 81.155.194.151
Jump to navigation
Jump to search
24 April 2013
- 18:3318:33, 24 April 2013 diff hist +2,058 N Logical constant No edit summary
- 00:1600:16, 24 April 2013 diff hist +7,376 N Complete partial order →Definitions current