Proofgold Proposition

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

type
prop

theory
HotG

name
conj_mul_HSNo

proof
PUgzA..

Megalodon
conj_mul_HSNo

proofgold address
TMcYp..^{conj_mul_HSNo}

creator
28464 PrQUS../e63f6..

owner
28464 PrQUS../e63f6..

term root
64a2e..