Release for PR 6595

pr-release-6595

chore: improve doc string

Release for PR 6593

pr-release-6593

feat: add `simp?` and `dsimp?` in conversion mode

Release for PR 6591

feat: add UInt32.{lt, le}

I noticed that these were missing from UInt32 when working on the
corresponding manual chapter.

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