Theorem Equiv.Perm.isCycle_swap_mul_aux₂

Modification history