Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNoLe 0 (mul_SNo x0 x0)

as obj
-

as prop
37e7d..^{SNo_sqr_nonneg}

theory
HotG

stx
93147..

address
TMdTV..^{SNo_sqr_nonneg}