Proofgold Term Root Disambiguation

odd_nat 1

as obj
-

as prop
d35ef..^odd_nat_1

theory
HotG

stx
80e8e..

address
TMNKm..^odd_nat_1