Theorem Cycle.to_finset_eq_nil

Modification history