Add a label to definition of quasi inverse
Merge pull request #538 from marcbezem/master

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