tree: a lone child of any size, absent places at every claim-set node - #627

tree: a lone child of any size, absent places at every claim-set node#627

kevaundray merged 36 commits into

leanEthereum:riscv-explorationleanEthereum/leanVM:riscv-explorationfrom

kevaundray:kw/claim-set-lone-childkevaundray/leanVM:kw/claim-set-lone-childCopy head branch name to clipboard