Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNoLe 0 x0

as obj
-

as prop
eaf06..^omega_nonneg

theory
HotG

stx
5128f..

address
TMbZj..^omega_nonneg