Proofgold Term Root Disambiguation

{ad280.. (ap x0 0) (ap x0 1)|x0 ∈ setprod real real}

as obj
e523d..

as prop
-

theory
HotG

stx
72424..

address
TMXpR..