Theorem covby_iff_lt_covby_grade

Modification history