[#14844] fix: collapse empty DiscrTree tries - #24

[#14844] fix: collapse empty DiscrTree tries#24

downstream-lean4[bot] merged 12 commits into

masterleanprover/downstream-lean4:masterfrom

adaptation-14844leanprover/downstream-lean4:adaptation-14844Copy head branch name to clipboard