Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ SNoLt 0 x0 ⟶ recip_SNo_pos x0 ∈ real

type
prop

theory
HotG

name
real_recip_SNo_pos

proof
PUfrJ..

Megalodon
real_recip_SNo_pos

proofgold address
TMMNV..^{real_recip_SNo_pos}

creator
27869 PrQUS../4e033..

owner
27869 PrQUS../4e033..

term root
8169a..