Proofgold Term Root Disambiguation

Sep omega prime_nat

as obj
98dde..^primes

as prop
-

theory
HotG

stx
00571..

address
TMNX1..^primes