Sun, 19 Sep 2010 23:14:41 -0700 preparing for new def of morphisms of a-ing 1-cat modules
Kevin Walker <kevin@canyon23.net> [Sun, 19 Sep 2010 23:14:41 -0700] rev 542
preparing for new def of morphisms of a-ing 1-cat modules
Sun, 19 Sep 2010 23:11:59 -0500 hopefully getting signs right in Lemma 6.3
Scott Morrison <scott@tqft.net> [Sun, 19 Sep 2010 23:11:59 -0500] rev 541
hopefully getting signs right in Lemma 6.3
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip