Closed semorrison closed 10 months ago
https://github.com/leanprover/lean4/pull/2454 is the change in Lean 4 that necessitates the changes here.
Merged by hand, thanks again!
https://github.com/leanprover/lean4/pull/2454 is the change in Lean 4 that necessitates the changes here.