Theorem inf_covby_of_covby_sup_of_covby_sup_right

Modification history