Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ 099f3.. x0 x1 ⟶ prim1 x0 x1

as obj
-

as prop
5f6c1..

theory
HoTg

stx
ab965..

address
TMVWY..