Theorem Equiv.Perm.cycle_is_cycleOf

Modification history