Def Equiv.ofPreimageEquiv

Modification history