Proofgold Term Root Disambiguation

as obj
-

as prop
58eb8..^{MetaCat_struct_b_quasigroup}

theory
HotG

stx
c1e43..

address
TMcCb..^{MetaCat_struct_b_quasigroup}