Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNo (eps_ x0)

as obj
-

as prop
006b0..^SNo_eps_

theory
HotG

stx
705e2..

address
TMJo1..^SNo_eps_