Theorem Equiv.Perm.support_zpow_le

Modification history