Theorem smul_lowerBounds_subset_upperBounds_smul

Modification history