Proofgold Term Root Disambiguation

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

as obj
886f5..^complex

as prop
-

theory
HotG

stx
93147..

address
TMP7U..^complex