Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ int ⟶ SNoLe 0 x0 ⟶ nat_p x0

as obj
-

as prop
aa7e8..^{nonneg_int_nat_p}

theory
HotG

stx
cd4cc..

address
TMGkY..^{nonneg_int_nat_p}