Theorem Set.Ioo_inter_Ioc_of_right_lt

Modification history