Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ x0 ⟶ SNoLt (eps_ x0) (eps_ x1)

as obj
-

as prop
67c76..^SNo_eps_decr

theory
HotG

stx
705e2..

address
TMPjt..^SNo_eps_decr