User contributions for 194.254.61.40
Jump to navigation
Jump to search
20 November 2013
- 14:4214:42, 20 November 2013 diff hist +7,446 N Separation logic Disambiguated: adjunction → adjunction (category theory)