Proofgold Term Root Disambiguation

∀ x0 x1 . SNo_sqrtauxset x0 0 x1 = 0

as obj
-

as prop
d5791..^{SNo_sqrtauxset_0}

theory
HotG

stx
87341..

address
TMN4V..^{SNo_sqrtauxset_0}