Theorem covBy_iff_lt_covBy_grade

Modification history