Proofgold Term Root Disambiguation

∀ x0 . prime_nat x0 ⟶ x0 ∈ setminus omega (Sing 0)

as obj
-

as prop
59ab3..

theory
HotG

stx
33c6f..

address
TMdjG..