Proofgold Term Root Disambiguation

prime_nat 2

as obj
-

as prop
9dc41..^prime_nat_2

theory
HotG

stx
afc5a..

address
TMb2p..^prime_nat_2