Proofgold Term Root Disambiguation

as obj
-

as prop
7ae19..^{MetaCat_struct_b_abelian_group_Forgetful}

theory
HotG

stx
fe083..

address
TMY6X..^{MetaCat_struct_b_abelian_group_Forgetful}