Wrenna Robson 275f9077b6 fix: Rename theorems that use sorted instead of pairwise (#10743) ... This PR renames theorems that use `sorted` in their name to instead use `pairwise`. Closes #10742. --------- Co-authored-by: Markus Himmel <markus@lean-fro.org>		2025-10-30 16:07:35 +00:00
..
Nat	chore: deprecate more duplications (#11004)	2025-10-30 05:58:29 +00:00
Sort	fix: Rename theorems that use sorted instead of pairwise (#10743)	2025-10-30 16:07:35 +00:00
Attach.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
Basic.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
BasicAux.lean	chore: remove >6 month old deprecations (#10446)	2025-09-22 12:47:11 +00:00
Control.lean	feat: Iterator find? consumer and variants (#10769)	2025-10-20 09:12:53 +00:00
Count.lean	chore: adjust List.countP grind annotations (#10532)	2025-09-24 07:07:11 +00:00
Erase.lean	chore: deprecate more duplications (#11004)	2025-10-30 05:58:29 +00:00
Find.lean	chore: deprecate more duplications (#11004)	2025-10-30 05:58:29 +00:00
FinRange.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
Impl.lean	chore: @[expose] List.filterMapTR (#9793)	2025-08-08 04:55:38 +00:00
Lemmas.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
Lex.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
MapIdx.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
MinMax.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
Monadic.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
Nat.lean	chore: remove public section from end of files (#10684)	2025-10-06 13:30:48 +00:00
Notation.lean	feat: make private the default in module (#9044)	2025-06-28 16:30:53 +00:00
OfFn.lean	chore: even more module system fixes and refinements from Mathlib porting (#10726)	2025-10-15 14:59:09 +00:00
Pairwise.lean	chore: remove redundant imports in core (#10750)	2025-10-16 20:27:46 +00:00
Perm.lean	fix: Rename theorems that use sorted instead of pairwise (#10743)	2025-10-30 16:07:35 +00:00
Range.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
Sort.lean	chore: remove public section from end of files (#10684)	2025-10-06 13:30:48 +00:00
Sublist.lean	chore: missing grind modifiers and local grind theorems config (#10428)	2025-09-17 16:15:16 +00:00
TakeDrop.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00
ToArray.lean	chore: deprecate more duplications (#11004)	2025-10-30 05:58:29 +00:00
ToArrayImpl.lean	chore: [match_pattern] should enforce [expose] (#9534)	2025-07-31 11:51:47 +00:00
Zip.lean	chore: add deprecations for duplicated theorems (#10967)	2025-10-29 05:26:16 +00:00