Theorem Set.Icc_subset_Icc_union_Ioc

Modification history