Proofgold Term Root Disambiguation

as obj
-

as prop
e4b9e..^{MetaCat_struct_b_monoid_terminal}

theory
HotG

stx
f2807..

address
TMQz9..^{MetaCat_struct_b_monoid_terminal}