Theorem Cycle.mem_lists_iff_coe_eq

Modification history