Theorem covby_iff_wcovby_and_lt

Modification history