Proofgold Term Root Disambiguation

nat_p 7

as obj
-

as prop
86ad8..^nat_7

theory
HotG

stx
b9e40..

address
TMZ6d..^nat_7