Theorem Set.Ioc_union_Ioc_left

Modification history