Proofgold Term Root Disambiguation

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

as obj
-

as prop
3414d..^{complex_real_set_eq}

theory
HotG

stx
2ea7a..

address
TMbGk..^{complex_real_set_eq}