Theorem Set.Ioo_subset_Ioo_iff

Modification history