Proofgold Term Root Disambiguation

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

as obj
-

as prop
2c199..

theory
HotG

stx
e55e5..

address
TMNSy..