Theorem Cycle.nontrivial_reverse_iff

Modification history