Sun, 13 Jun 2010 14:26:31 +0200 | Kevin Walker | metric independence for homeo action (proof done now) | file | diff | annotate |
Mon, 07 Jun 2010 18:14:11 +0200 | Kevin Walker | remark about EB_n-algebras from n-cats | file | diff | annotate |
Sun, 06 Jun 2010 20:56:47 +0200 | Kevin Walker | added pinched product figs | file | diff | annotate |