Def Setoid.quotientKerEquivOfRightInverse

Modification history