Theorem smul_upperBounds_subset_lowerBounds_smul

Modification history