Theorem wbtw_iff_left_eq_or_right_mem_image_Ici

Modification history