Theorem UniformContinuous.prodMk_left

Modification history