Theorem Equiv.Perm.isCycleOn_of_subsingleton

Modification history