Proofgold Term Root Disambiguation

as obj
-

as prop
f4f7a..^{MetaCat_struct_b_semigroup_Forgetful}

theory
HotG

stx
4cfdd..

address
TMTpr..^{MetaCat_struct_b_semigroup_Forgetful}