Theorem Equiv.Perm.subtypePerm_apply_zpow_of_mem

Modification history