Proofgold Proposition

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

type
prop

theory
HotG

name
mul_div_CSNo_invR

proof
PURry..

Megalodon
mul_div_CSNo_invR

proofgold address
TMdyd..^{mul_div_CSNo_invR}

creator
28463 PrQUS../0eeb5..

owner
28463 PrQUS../0eeb5..

term root
44230..