In thm:equiv-biinv-isequiv, correct \iscontr(f) to \ishae(f).
Errata for 64c71a4, unmarked.