Proofgold Proposition

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

type
prop

theory
HotG

name
mul_CSNo_mul_SNo

proof
PUQvq..

Megalodon
mul_CSNo_mul_SNo

proofgold address
TMMKy..^{mul_CSNo_mul_SNo}

creator
28444 PrQUS../643af..

owner
28444 PrQUS../643af..

term root
d0792..