Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ Subq x0 x1 ⟶ fe4bb.. x0 x1

as obj
-

as prop
f1fea..

theory
HoTg

stx
38a69..

address
TMTvS..