Proofgold Term Root Disambiguation

nat_p 0

as obj
-

as prop
457a7..^nat_0

theory
HotG

stx
18c18..

address
TMUBA..^nat_0