equal
deleted
inserted
replaced
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
|
4 * double-check for mentions of TOP |
|
5 |
|
6 * (maybe) say somewhere what's missing for TOP |
|
7 |
3 |
8 * 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 |
4 * 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 |
9 |
5 |
10 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
6 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
11 **** in the proof that gluing in dimension < n is injective |
7 **** in the proof that gluing in dimension < n is injective |