Theorem Set.Ioo_subset_Ioo_right

Modification history