search

leanprover / lean4

Lean 4 programming language and theorem prover
https://lean-lang.org
Apache License 2.0
3.82k stars 325 forks source link

[Backport releases/v4.8.0] fix: have app unexpanders be considered before field notation #4072

Closed github-actions[bot] closed 1 week ago

github-actions[bot] commented 1 week ago

Backport 3bd2a7419df83fd9bdec8c480b52cc1ff340933e from #4071.

semorrison commented 1 week ago

Already done by cherry-pick, oops.