Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ ∀ x1 : ο . (SNoLt x0 0 ⟶ minus_SNo x0 ∈ omega ⟶ x1) ⟶ (SNoLe 0 x0 ⟶ not (SNoLt x0 0) ⟶ x0 ∈ omega ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PULps..

Megalodon
-

proofgold address
TMaUy..

creator
35061 PrKYB../c9c3c..

owner
35061 PrKYB../c9c3c..

term root
e922d..