Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ (x1 = 0 ⟶ ∀ x2 : ο . x2) ⟶ mul_CSNo (div_CSNo x0 x1) x1 = x0

type
prop

theory
HotG

name
mul_div_CSNo_invL

proof
PURry..

Megalodon
mul_div_CSNo_invL

proofgold address
TMYs3..^{mul_div_CSNo_invL}

creator
28463 PrQUS../0f04a..

owner
28463 PrQUS../0f04a..

term root
9a03b..