Theorem covBy_iff_lt_and_eq_or_eq

Modification history