Proofgold Proposition

∀ x0 . SNo x0 ⟶ mul_SNo x0 0 = 0

type
prop

theory
HotG

name
mul_SNo_zeroR

proof
PUU9n..

Megalodon
mul_SNo_zeroR

proofgold address
TMX3U..^{mul_SNo_zeroR}

creator
4981 Pr6Pc../d35a6..

owner
4981 Pr6Pc../d35a6..

term root
d279f..