Def Equiv.toLocalEquivOfImageEq

Modification history