Proofgold Proposition

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

type
prop

theory
HotG

name
recip_CSNo_invL

proof
PURry..

Megalodon
recip_CSNo_invL

proofgold address
TMYnB..^{recip_CSNo_invL}

creator
28463 PrQUS../43595..

owner
28463 PrQUS../43595..

term root
a9e4b..