Theorem sbtw_iff_mem_image_Ioo_and_ne

Modification history