Theorem Equiv.Perm.isInvariant_of_support_le

Modification history