Thu, 06 Jan 2011 22:47:06 -0800 compatibility of first and last n-cat axioms; mention stricter variant of last axiom
Kevin Walker <kevin@canyon23.net> [Thu, 06 Jan 2011 22:47:06 -0800] rev 679
compatibility of first and last n-cat axioms; mention stricter variant of last axiom
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip