Proofgold Term Root Disambiguation

explicit_Field complex 0 1 add_CSNo mul_CSNo

as obj
-

as prop
881af..

theory
HotG

stx
93147..

address
TMY9p..