Proofgold Term Root Disambiguation

as obj
82b65..^{abelian_Group}

as prop
-

theory
HotG

stx
a0c68..

address
TMZYJ..^{abelian_Group}