Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x2 ∈ setprod x0 x1 ⟶ ap x2 1 ∈ x1

as obj
-

as prop
f9e57..

theory
HotG

stx
e55e5..

address
TMLdE..