fix: `canonInstances := true` issue

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.88k stars 329 forks source link

Closed leodemoura closed 2 weeks ago

leodemoura commented 2 weeks ago

closes #4213

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

✅ Mathlib branch lean-pr-testing-4216 has successfully built against this PR. (2024-05-18 18:22:22) View Log