Proofgold Term Root Disambiguation

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

as obj
-

as prop
899f5..

theory
HoTg

stx
ab965..

address
TMSie..