Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ mul_SNo x0 x1 = mul_CSNo x0 x1

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
mul_SNo_mul_CSNo

proofgold address
TMH8c..^{mul_SNo_mul_CSNo}

creator
5161 Pr6Pc../648b2..

owner
5161 Pr6Pc../648b2..

term root
e8fe5..