Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLe 0 (mul_SNo x0 x0)

type
prop

theory
HotG

name
SNo_sqr_nonneg

proof
PUNr2..

Megalodon
SNo_sqr_nonneg

proofgold address
TMGwi..^{SNo_sqr_nonneg}

creator
12547 PrGxv../8b548..

owner
12547 PrGxv../8b548..

term root
d25bf..