Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo 0 x0 = 0

type
prop

theory
HotG

name
mul_SNo_zeroL

proof
PUfRQ..

Megalodon
mul_SNo_zeroL

proofgold address
TMGtQ..^{mul_SNo_zeroL}

creator
6761 Pr6Pc../83efc..

owner
6761 Pr6Pc../83efc..

term root
ddc2f..