Theorem Set.Ioo_subset_Iio_self

Modification history