Skip to content

[#15066] feat: virtual one-field structures - #59

Draft
downstream-lean4[bot] wants to merge 15 commits into
masterfrom
adaptation-15066
Draft

[#15066] feat: virtual one-field structures#59
downstream-lean4[bot] wants to merge 15 commits into
masterfrom
adaptation-15066

Merge remote-tracking branch 'bot/adaptation-15066' into adaptation-1…

de30f8f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar