Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial)#11

hyperpolymath merged 2 commits into

mainhyperpolymath/echo-types:mainfrom

claude/buchholz-order-defhyperpolymath/echo-types:claude/buchholz-order-defCopy head branch name to clipboard