Theorem image2_upperBounds_upperBounds_subset_upperBounds_image2

Modification history