Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNo_ (ordsucc x0) (eps_ x0)

as obj
-

as prop
1c142..^SNo__eps_

theory
HotG

stx
705e2..

address
TMHkL..^SNo__eps_