Theorem mem_lowerBounds_image2_of_mem_lowerBounds_of_mem_upperBounds

Modification history