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