Proofgold Term Root Disambiguation

as obj
-

as prop
da44b..^{MetaCat_struct_b_abelian_group}

theory
HotG

stx
fe083..

address
TMM3i..^{MetaCat_struct_b_abelian_group}