Theorem Equiv.Perm.zpow_eq_ofSubtype_subtypePerm_iff

Modification history