Theorem grade_covby_grade_iff

Modification history