Proofgold Proposition

∀ x0 . SNo_ 0 x0 ⟶ x0 = 0

type
prop

theory
HotG

name
SNo_0_eq_0

proof
PUSRj..

Megalodon
SNo_0_eq_0

proofgold address
TMQr2..^SNo_0_eq_0

creator
27837 PrQUS../28f24..

owner
27837 PrQUS../28f24..

term root
72efa..