Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNoLe (eps_ x0) 1

as obj
-

as prop
1165c..^eps_bd_1

theory
HotG

stx
19513..

address
TMJhb..^eps_bd_1