Proofgold Term Root Disambiguation

CSNo_Re Complex_i = 0

as obj
-

as prop
bfd07..^Re_i

theory
HotG

stx
7edd8..

address
TMK96..^Re_i