Theorem Set.Ioc_insert_left

Modification history