Proofgold Term Root Disambiguation

as obj
-

as prop
ad386..^{MetaCat_struct_b_abelian_group_terminal}

theory
HotG

stx
f2807..

address
TMLPu..^{MetaCat_struct_b_abelian_group_terminal}