Theorem RestrictedProduct.continuous_dom_prod_left

Modification history