Theorem Cycle.empty_eq

Modification history