Mon, 31 May 2010 12:44:19 -0700 converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 12:44:19 -0700] rev 310
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Mon, 31 May 2010 08:59:18 -0700 start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 08:59:18 -0700] rev 309
start E_n example; other minor changes
Sun, 30 May 2010 13:22:55 -0700 send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net> [Sun, 30 May 2010 13:22:55 -0700] rev 308
send scott back to primary school, where he can learn to count mod 2 and reindex summations
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip