Theorem Equiv.Perm.toList_pow_apply_eq_rotate

Modification history