Theorem Equiv.Perm.isThreeCycle_swap_mul_swap_same

Modification history