Def MulEquiv.ofLeftInverse

Modification history