Skip to content

[#16235] feat: keep haves above a split match in equation lemmas - #227

Open
downstream-lean4[bot] wants to merge 9 commits into
masterfrom
adaptation-16235
Open

[#16235] feat: keep haves above a split match in equation lemmas#227
downstream-lean4[bot] wants to merge 9 commits into
masterfrom
adaptation-16235

downstream: follow upstream PR

0a444d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar