Proofgold Term Root Disambiguation

CSNo Complex_i

as obj
-

as prop
139a5..^{SNo_Complex_i}

theory
HotG

stx
2fb59..

address
TMTBC..^{SNo_Complex_i}