Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ OSNo (mul_OSNo x0 x1)

type
prop

theory
HotG

name
OSNo_mul_OSNo

proof
PUdK2..

Megalodon
OSNo_mul_OSNo

proofgold address
TMcmr..^{OSNo_mul_OSNo}

creator
28513 PrQUS../9bc2c..

owner
28513 PrQUS../9bc2c..

term root
121ca..