Theorem image2_lowerBounds_lowerBounds_subset_lowerBounds_image2

Modification history