Theorem Equiv.Perm.pow_apply_eq_of_apply_apply_eq_self

Modification history