Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLt 0 x0 ⟶ SNoLt 0 x1 ⟶ mul_SNo x0 x0 = mul_SNo x1 x1 ⟶ x0 = x1

type
prop

theory
HotG

name
SNo_pos_sqr_uniq

proof
PUewm..

Megalodon
SNo_pos_sqr_uniq

proofgold address
TMQ3F..^{SNo_pos_sqr_uniq}

creator
27779 PrQUS../7a8f2..

owner
27779 PrQUS../7a8f2..

term root
f4183..