chore: adaptations for nightly-2026-06-03#233

Closed

mathlib-nightly-testing[bot] wants to merge 10000 commits into

bump/v4.32.0from

bump/nightly-2026-06-03

This pull request is big! We're only showing the most recent 250 commits

Commits on May 6, 2026

chore: drop redundant @[simps!] on Mon.mkIso / AddMon.mkIso

kim-em
and
claude
committed
deprecation
kim-em
committed
fix
kim-em
committed
deprecation
kim-em
committed
Merge remote-tracking branch 'nightly-testing/bump/nightly-2026-05-03' into nightly-testing
kim-em
committed
chore: restore lost content from #38972 merge in Cartesian/Mon.lean

kim-em
and
claude
committed
add missing imports (as public)
Kha
committed
chore: bump to nightly-2026-05-06
mathlib-nightly-testing[bot]
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13613
leanprover-community-mathlib4-bot
committed
Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/13651
leanprover-community-mathlib4-bot
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
leanprover-community-mathlib4-bot
committed

Commits on May 7, 2026

Commits on May 8, 2026

Commits on May 11, 2026

Commits on May 12, 2026

Commits on May 13, 2026

Commits on May 14, 2026

Commits on May 15, 2026

Commits on May 16, 2026

Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
leanprover-community-mathlib4-bot
committed
Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
chore: bump to nightly-2026-05-16
mathlib-nightly-testing[bot]
committed
merge lean-pr-testing-13651
mathlib-nightly-testing[bot]
committed

Commits on May 17, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/13762
leanprover-community-mathlib4-bot
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13762
leanprover-community-mathlib4-bot
committed
chore: bump to nightly-2026-05-17
mathlib-nightly-testing[bot]
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13762
leanprover-community-mathlib4-bot
committed
fixes
kmill
committed
Merge remote-tracking branch 'origin/master' into bump/v4.31.0
kim-em
committed
chore: adaptations for nightly-2026-05-17
kim-em
committed

Commits on May 18, 2026

Commits on May 19, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed

Commits on May 20, 2026

Commits on May 21, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
some fixes
kmill
committed
some fixes
kmill
committed
some fixes
kmill
committed
some fixes
kmill
committed
all fixed
kmill
committed
Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/13807
leanprover-community-mathlib4-bot
committed
fixes
kmill
committed
fixes
kmill
committed
fix tests
kmill
committed
chore: bump to nightly-2026-05-21
mathlib-nightly-testing[bot]
committed
merge lean-pr-testing-13807
mathlib-nightly-testing[bot]
committed

Commits on May 22, 2026

Commits on May 23, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed

Commits on May 24, 2026

Commits on May 25, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
chore: adapt `Mathlib.Data.String.Basic` to opaque `String.compare`

kim-em
and
claude
committed
fixes
kim-em
committed
fix
kim-em
committed
chore: switch `Ordinal/Notation` to non-deprecated `add_mul_add_one`

kim-em
and
claude
committed
chore: restore `_iff_` preserves lemmas dropped during master merge

kim-em
and
claude
committed
remove redundant simp
kim-em
committed
chore: bump to nightly-2026-05-25
mathlib-nightly-testing[bot]
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
leanprover-community-mathlib4-bot
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
leanprover-community-mathlib4-bot
committed

Commits on May 26, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed

Commits on May 27, 2026

Commits on May 28, 2026

Commits on May 29, 2026

Commits on May 30, 2026

Commits on May 31, 2026

Merge master into nightly-testing
mathlib-nightly-testing[bot]
committed
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13305
leanprover-community-mathlib4-bot
committed

Commits on Jun 1, 2026

Commits on Jun 3, 2026