[Lean PR benchmarking]#135

Draft

datokrat wants to merge 2 commits intonightly-testingfrom

lean-pr-testing-11511

Commits on Dec 4, 2025

Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/11511
leanprover-community-mathlib4-bot
committed

Commits on Dec 5, 2025

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11511
leanprover-community-mathlib4-bot
committed