Theorem Set.Ioo_insert_left

Modification history