Proofgold Term Root Disambiguation

2 ∈ prim6 (prim6 0)

as obj
-

as prop
f6173..

theory
HotG

stx
c80b6..

address
TMUiZ..