Theorem covby_sup_of_inf_covby_of_inf_covby_left

Modification history