Theorem Order.Ioo_succ_right_eq_insert

Modification history