Theorem Set.Ioc_subset_Ioi_self

Modification history