Theorem image2_lowerBounds_upperBounds_subset_lowerBounds_image2

Modification history