Proofgold Term Root Disambiguation

SNoL_nonneg 0 = 0

as obj
-

as prop
67aa5..^{SNoL_nonneg_0}

theory
HotG

stx
87341..

address
TMVhx..^{SNoL_nonneg_0}