Add a label to definition of quasi inverse, needed for HoTTBook.v in the HoTT library