Theorem Cycle.next_reverse_eq_prev'

Modification history