User contributions for 194.228.13.144
Jump to navigation
Jump to search
17 May 2014
- 16:5916:59, 17 May 2014 diff hist +12 Disjunction and existence properties Changed \phi to \varphi to make the symbol consistent with &phi current