Proofgold Term Root Disambiguation

as obj
-

as prop
0e62d..^{MetaCat_struct_b_monoid}

theory
HotG

stx
7173a..

address
TMcaz..^{MetaCat_struct_b_monoid}