Mon, 18 Apr 2011 22:28:40 -0700 | Scott Morrison | fixing minor mistake in the proof of the product formula | file | diff | annotate |
Fri, 07 Jan 2011 14:40:58 -0800 | Kevin Walker | "topological n-cat" --> either "disk-like n-cat" or "ordinary n-cat" (when contrasted with A-inf n-cat) | file | diff | annotate |