Release for PR 6589

pr-release-6589

feat: align List/Array lemmas for filter/filterMap

Release for PR 6588

Update src/Lean/Meta/Tactic/Grind/Canon.lean

Co-authored-by: Kim Morrison <[email protected]>

Release for PR 6587

pr-release-6587

fix: remove change in comment

Release for PR 6586

pr-release-6586

feat: aligning List/Array/Vector lemmas for map

Release for PR 6585

fix: `grind` canonicalizer

This PR fixes a bug in the `grind` canonicalizer.

Release for PR 6347

pr-release-6347

Update Lemmas.lean

Release for PR 6583

pr-release-6583

chore: remove unused Environment.addAndCompile

Release for PR 6582

pr-release-6582

fix: E-matching local theorems

Release for PR 6581

feat: add `grind` configuration options to control case-splitting

This PR adds the following configuration options to `Grind.Config`:
`splitIte`, `splitMatch`, and `splitIndPred`.

Release for PR 6579

fix: matching cpp and Lean implementations

Match `is_letter_like_unicode` with `isLetterLike`
Match `is_sub_script_alnum_unicode` with `isSubScriptAlnum`
Breaking changes:
- Remove `isNumericSubscript`
- `is_sub_script_alnum_unicode` rejects superscript n