Tue, 09 Nov 2010 14:22:02 +0900 making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
Scott Morrison <scott@tqft.net> [Tue, 09 Nov 2010 14:22:02 +0900] rev 595
making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip