changeset 781 | 0a9adf027f47 |
parent 780 | b76b4b79dbe1 |
child 782 | d8ae97449506 |
780:b76b4b79dbe1 | 781:0a9adf027f47 |
---|---|
65 |
65 |
66 * make sure we are clear that boundary = germ |
66 * make sure we are clear that boundary = germ |
67 |
67 |
68 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
68 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
69 |
69 |
70 * figure for example 3.1.2 (sin 1/z) |
70 * SCOTT: figure for example 3.1.2 (sin 1/z) |
71 |
71 |
72 * SCOTT: add vertical arrow to middle of figure 19 (decomp poset) |
|
73 |