Proofgold Term Root Disambiguation

∀ x0 . prime_nat x0 ⟶ x0 ∈ setminus omega 2

as obj
-

as prop
4e482..

theory
HotG

stx
71eda..

address
TMHv3..