Proofgold Proposition

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

type
prop

theory
HotG

name
CSNo_mul_CSNo_3

proof
PUQvq..

Megalodon
CSNo_mul_CSNo_3

proofgold address
TMR1T..^{CSNo_mul_CSNo_3}

creator
28444 PrQUS../f71cd..

owner
28444 PrQUS../f71cd..

term root
71c20..