Proofgold Term Root Disambiguation

HSNo Complex_i

as obj
-

as prop
9eee2..^{HSNo_Complex_i}

theory
HotG

stx
43801..

address
TMGLA..^{HSNo_Complex_i}