Proofgold Proposition

∀ x0 . SNo x0 ⟶ div_SNo x0 0 = 0

type
prop

theory
HotG

name
div_SNo_0_denum

proof
PUSRj..

Megalodon
div_SNo_0_denum

proofgold address
TMYof..^{div_SNo_0_denum}

creator
27837 PrQUS../46991..

owner
27837 PrQUS../46991..

term root
d6eb4..