Def Equiv.ofLeftInverse

Modification history