Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ minus_SNo x0 ∈ real

type
prop

theory
HotG

name
real_minus_SNo

proof
PULPi..

Megalodon
real_minus_SNo

proofgold address
TMW2S..^{real_minus_SNo}

creator
12306 PrGxv../6c61d..

owner
12306 PrGxv../6c61d..

term root
e8e8b..