changeset 777 | 682fd0520c66 |
parent 776 | c24e59300fca |
child 778 | 760cc71a0424 |
776:c24e59300fca | 777:682fd0520c66 |
---|---|
68 |
68 |
69 * make sure we are clear that boundary = germ |
69 * make sure we are clear that boundary = germ |
70 |
70 |
71 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
71 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
72 |
72 |
73 * consider putting conditions for enriched n-cat all in one place |
|
74 |