Theorem Set.Ioo_union_Ici_eq_Ioi

Modification history