Proofgold Proposition

∀ x0 x1 . SNo_sqrtauxset x0 0 x1 = 0

type
prop

theory
HotG

name
SNo_sqrtauxset_0'

proof
PUewm..

Megalodon
SNo_sqrtauxset_0

proofgold address
TMKUi..^{SNo_sqrtauxset_0}

creator
27779 PrQUS../22ac2..

owner
27779 PrQUS../22ac2..

term root
b0f58..