Proofgold Term Root Disambiguation

as obj
-

as prop
aef2e..^{MetaCat_struct_p_nonempty}

theory
HotG

stx
2c45b..

address
TMWWP..^{MetaCat_struct_p_nonempty}