Theorem Set.Ioc_union_Ici_eq_Ioi

Modification history