feat: add List.Pairwise.orderedInsert', List.sortedLE_orderedInsert_LT, and List.sortedGE_orderedInsert_GT - #42995

feat: add List.Pairwise.orderedInsert', List.sortedLE_orderedInsert_LT, and List.sortedGE_orderedInsert_GT#42995

jacob-greenfield wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

jacob-greenfield:orderedInsert-pairwisejacob-greenfield/mathlib4:orderedInsert-pairwiseCopy head branch name to clipboard