Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ CSNo (mul_CSNo x0 x1)

type
prop

theory
HotG

name
CSNo_mul_CSNo

proof
PUQvq..

Megalodon
CSNo_mul_CSNo

proofgold address
TMGyR..^{CSNo_mul_CSNo}

creator
28444 PrQUS../40a81..

owner
28444 PrQUS../40a81..

term root
96067..