Theorem continuous_inf_dom_right

Modification history