Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ setminus omega (Sing 0) ⟶ ∀ x1 . nat_p x1 ⟶ 96eca.. x0 x1 ∈ x0

as obj
-

as prop
64b8f..

theory
HotG

stx
33c6f..

address
TMN5j..