Proofgold Term Root Disambiguation

real = {x1 ∈ complex|CSNo_Re x1 = x1}

as obj
-

as prop
56b91..^{complex_real_set_eq}

theory
HotG

stx
93147..

address
TMRA4..^{complex_real_set_eq}