Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ mul_SNo (minus_SNo x0) (minus_SNo x1) = mul_SNo x0 x1

type
prop

theory
HotG

name
mul_SNo_minus_minus

proof
PUX1q..

Megalodon
mul_SNo_minus_minus

proofgold address
TMQXe..^{mul_SNo_minus_minus}

creator
12284 PrGxv../bb4d8..

owner
12284 PrGxv../bb4d8..

term root
cc94f..