Theorem mul_mem_upperBounds_mul

Modification history