Theorem Equiv.Perm.subtypePerm_apply_pow_of_mem

Modification history