ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equality ψ-rank discharge#143

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

session/rank-lex-joint-bplushyperpolymath/echo-types:session/rank-lex-joint-bplusCopy head branch name to clipboard