Theorem Equiv.Perm.apply_pow_apply_eq_iff

Modification history