Theorem mem_upperBounds_image2_of_mem_lowerBounds

Modification history