Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNo x0

as obj
-

as prop
d0f9c..^omega_SNo

theory
HotG

stx
d6a2f..

address
TMTh1..^omega_SNo