Theorem Equiv.Perm.IsCycle.swap_mul

Modification history