Proofgold Term Root Disambiguation

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

as obj
f7397..^complex

as prop
-

theory
HotG

stx
2ea7a..

address
TMHLF..^complex