Theorem sbtw_iff_right_ne_and_left_mem_image_Ioi

Modification history