Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ nIn x0 (minus_SNo omega)

as obj
-

as prop
2ec25..

theory
HotG

stx
80e8e..

address
TMFAb..