"precomposition" should be "postcomposition", close #564
unmarked errata for bf9812c
Merge pull request #567 from mikeshulman/postcomposition

"precomposition" should be "postcomposition", close #564
Mark Errata (auto)
clarify "path lying over" and fibrations, close #565
added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v.
Merge pull request #571 from marcbezem/master

added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v
fix typo, close #570
Merge branch 'master' of github.com:HoTT/book
Merge pull request #568 from mikeshulman/lieover

clarify "path lying over" and fibrations, close #565