Proofgold Proposition

∀ x0 x1 . SNo_sqrtauxset 0 x0 x1 = 0

type
prop

theory
HotG

name
SNo_sqrtauxset_0

proof
PUewm..

Megalodon
SNo_sqrtauxset_0

proofgold address
TMR5s..^{SNo_sqrtauxset_0}

creator
27779 PrQUS../e8c37..

owner
27779 PrQUS../e8c37..

term root
2d39c..