Proofgold Term Root Disambiguation

as obj
-

as prop
13f23..^{form100_11_infinite_primes}

theory
HotG

stx
71eda..

address
TMR8m..^{form100_11_infinite_primes}