Theorem Equiv.Perm.isCycleOn_empty

Modification history