proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport#170

hyperpolymath merged 1 commit into

mainhyperpolymath/echo-types:mainfrom

session/rank-mono-union-wfhyperpolymath/echo-types:session/rank-mono-union-wfCopy head branch name to clipboard