Def Setoid.liftEquiv

Modification history