Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ recip_SNo x0 ∈ real

type
prop

theory
HotG

name
real_recip_SNo

proof
PUfrJ..

Megalodon
real_recip_SNo

proofgold address
TMNuz..^{real_recip_SNo}

creator
27869 PrQUS../6a25e..

owner
27869 PrQUS../6a25e..

term root
33695..