fixes for lean PR 12225#166
Open
JovanGerb wants to merge 6 commits intoleanprover-community:nightly-testingfrom
Open
fixes for lean PR 12225#166JovanGerb wants to merge 6 commits intoleanprover-community:nightly-testingfrom
JovanGerb wants to merge 6 commits intoleanprover-community:nightly-testingfrom
Commits
Commits on Jan 29, 2026
- committed
leanprover-community-mathlib4-bot - committedleanprover-community-mathlib4-bot
- committedleanprover-community-mathlib4-bot
- committed
- committed
- committed
