Theorem Set.Ioc_subset_Ioc_left

Modification history