Theorem Set.Icc_union_Ioc_eq_Icc

Modification history