changeset 801 | 33b3e0c065d2 |
parent 800 | d0b9238aad5d |
child 802 | e3ddb8605e32 |
--- a/blob to-do Sun Jun 19 15:31:28 2011 -0600 +++ b/blob to-do Sun Jun 19 17:07:48 2011 -0600 @@ -1,7 +1,5 @@ -* lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) - -* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s +* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom * Boundary of colimit -- not so easy to see!