Proofgold Term Root Disambiguation

nat_p 8

as obj
-

as prop
f9312..^nat_8

theory
HotG

stx
b9e40..

address
TMJX8..^nat_8