Theorem Set.Ioo_inter_Ioc_of_left_le

Modification history