Theorem Set.Ioo_subset_Ioo

Modification history