Theorem Set.Icc_subset_Ioc_iff

Modification history