equivalences: an example when qinv(f) is not an hprop
Merge branch 'master' of github.com:HoTT/book