Theorem Cycle.subsingleton_reverse_iff

Modification history