Proofgold Proposition

∀ x0 . SNo x0 ⟶ div_SNo 0 x0 = 0

type
prop

theory
HotG

name
div_SNo_0_num

proof
PUSRj..

Megalodon
div_SNo_0_num

proofgold address
TMKNj..^{div_SNo_0_num}

creator
27837 PrQUS../7e3b9..

owner
27837 PrQUS../7e3b9..

term root
28c3d..