Theorem Equiv.Perm.SameCycle.toList_isRotated

Modification history