Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ eps_ x0 ∈ SNoS_ omega

as obj
-

as prop
52da1..^{SNo_eps_SNoS_omega}

theory
HotG

stx
705e2..

address
TMbuX..^{SNo_eps_SNoS_omega}