Theorem Equiv.Perm.isCycle_swap_mul_aux₁

Modification history