Theorem Equiv.Perm.perm_inv_mapsTo_of_mapsTo

Modification history