Theorem subset_upperBounds_mul

Modification history