Theorem Equiv.Perm.IsCycleOn.apply_mem_iff

Modification history