Theorem continuous_inf_dom_left₂

Modification history