Theorem mem_upperBounds_image2_of_mem_upperBounds_of_mem_upperBounds

Modification history