Theorem Equiv.Perm.perm_inv_mapsTo_iff_mapsTo

Modification history