Theorem Set.Icc_subset_Icc_union_Icc

Modification history