Proofgold Term Root Disambiguation

CSNo_Re Complex_i = 0

as obj
-

as prop
64299..^Re_i

theory
HotG

stx
5ed1a..

address
TMWPX..^Re_i