Theorem Set.Ioo_union_Ico_eq_Ioo

Modification history