Proofgold Proposition

∀ x0 x1 . HSNo x0 ⟶ HSNo x1 ⟶ HSNo (mul_HSNo x0 x1)

type
prop

theory
HotG

name
HSNo_mul_HSNo

proof
PUgzA..

Megalodon
HSNo_mul_HSNo

proofgold address
TMXaB..^{HSNo_mul_HSNo}

creator
28464 PrQUS../4fd1e..

owner
28464 PrQUS../4fd1e..

term root
25d34..