Proofgold Term Root Disambiguation

∀ x0 x1 . SNo_sqrtauxset 0 x0 x1 = 0

as obj
-

as prop
db93f..^{SNo_sqrtauxset_0}

theory
HotG

stx
87341..

address
TMU82..^{SNo_sqrtauxset_0}