Proofgold Proposition

∀ x0 . CSNo x0 ⟶ (x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ mul_CSNo x0 (recip_CSNo x0) = 1

type
prop

theory
HotG

name
recip_CSNo_invR

proof
PURry..

Megalodon
recip_CSNo_invR

proofgold address
TMd65..^{recip_CSNo_invR}

creator
28463 PrQUS../de3bc..

owner
28463 PrQUS../de3bc..

term root
83835..