Wed, 02 Jun 2010 22:09:52 -0700 Kevin Walker rewrite proof from gluing thm
Wed, 02 Jun 2010 16:51:40 -0700 Kevin Walker added \cl ([ho]colim) (currently \underrightarrow)
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip