text/ncat.tex
Thu, 06 Jan 2011 22:47:06 -0800 Kevin Walker compatibility of first and last n-cat axioms; mention stricter variant of last axiom
less more (0) -100 -30 -10 -1 tip