Add a label to definition of quasi inverse