Theorem Set.sub_mem_Icc_iff_left

Modification history