Skip to content

9077, with options, downstream - #14519

Draft
datokrat wants to merge 6 commits into
leanprover:masterfrom
datokrat:paul/9077-attempt-5-downstream
Draft

9077, with options, downstream#14519
datokrat wants to merge 6 commits into
leanprover:masterfrom
datokrat:paul/9077-attempt-5-downstream

tweak the fallback logic if isDefEqApp

3802ee9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Jul 30, 2026 in 5s