Theorem covBy_sup_of_inf_covBy_of_inf_covBy_left

Modification history