Tue, 09 Nov 2010 17:48:16 -0800 Kevin Walker fixing typo
Wed, 10 Nov 2010 10:40:29 +0900 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Tue, 09 Nov 2010 14:22:02 +0900 Scott Morrison making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip