In thm:equiv-biinv-isequiv, correct \iscontr(f) to \ishae(f).
Errata for 64c71a4, unmarked.
Merge branch 'issue-449' of https://github.com/cangiuli/book

Conflicts:
	errata.tex