Theorem 2.11.3 #638

Closed
mikeshulman opened this Issue Feb 25, 2014 · 0 comments

Comments

Projects
None yet
1 participant
Contributor

mikeshulman commented Feb 25, 2014

The sentence before Theorem 2.11.3 says "Combining Lemmas 2.3.10 and 2.11.2" which implies that 2.11.3 can be proven from 2.3.10 and 2.11.2, but at the moment I don't see how to do this. (Of course, 2.11.3 is proven easily by a direct path induction.)

@mikeshulman mikeshulman added a commit to mikeshulman/book that referenced this issue Mar 2, 2014

@mikeshulman mikeshulman close #638 fac8b83
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment