Skip to content

[#14805] feat: special case single-child nodes in DiscrTree - #23

Open
downstream-lean4[bot] wants to merge 22 commits into
masterfrom
adaptation-14805
Open

[#14805] feat: special case single-child nodes in DiscrTree#23
downstream-lean4[bot] wants to merge 22 commits into
masterfrom
adaptation-14805

downstream: follow upstream PR

33f1924
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar