proof(ordinal): Veblen engine monotone in its iterated function (BH climb rung 8)#262

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

claude/modest-hawking-3fd6ithyperpolymath/echo-types:claude/modest-hawking-3fd6itCopy head branch name to clipboard