Theorem Equiv.Perm.pow_apply_mem_support

Modification history