Theorem wbtw_iff_right_eq_or_left_mem_image_Ici

Modification history