Legacy IP contributions for 2001:41B8:83C:FF03:225:D3FF:FEEF:B17
Appearance
Results for 2001:41B8:83C:FF03:225:D3FF:FEEF:B17 talk block log logs global block log filter log
16 November 2015
- 11:0611:06, 16 November 2015 diff hist 0 Tennenbaum's theorem typo (the set of e such that bla is defined by a formula parameterized by n)