Proofgold Term Root Disambiguation

SNoL_nonneg 1 = 1

as obj
-

as prop
e3fc2..^{SNoL_nonneg_1}

theory
HotG

stx
87341..

address
TMYud..^{SNoL_nonneg_1}