Proofgold Term Root Disambiguation

as obj
-

as prop
88d6d..^{MetaCat_struct_b_semigroup}

theory
HotG

stx
4cfdd..

address
TMWVL..^{MetaCat_struct_b_semigroup}