Theorem Equiv.Perm.pow_eq_on_of_mem_support

Modification history