Theorem Equiv.Perm.set_support_inv_eq

Modification history