changeset 918 | 80fe92f8f81f |
parent 914 | db365e67adf6 |
child 919 | 259bef1b5dad |
--- a/blob to-do Sun Oct 23 13:52:15 2011 -0600 +++ b/blob to-do Sun Oct 23 15:03:53 2011 -0600 @@ -1,8 +1,6 @@ ====== big ====== -* 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 - * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)