Theorem Equiv.Perm.card_support_cycleOf_pos_iff

Modification history