Theorem Wbtw.left_mem_image_Ici_of_right_ne

Modification history