Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ ∀ x1 : ο . (∀ x2 . x2 ∈ setexp (SNoS_ omega) omega ⟶ (∀ x3 . x3 ∈ omega ⟶ SNoLt (add_SNo (ap x2 x3) (minus_SNo (eps_ x3))) x0) ⟶ (∀ x3 . x3 ∈ omega ⟶ SNoLt x0 (ap x2 x3)) ⟶ (∀ x3 . x3 ∈ omega ⟶ ∀ x4 . x4 ∈ x3 ⟶ SNoLt (ap x2 x3) (ap x2 x4)) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUgvb..

Megalodon
-

proofgold address
TMUME..

creator
12283 PrGxv../43bd4..

owner
12283 PrGxv../43bd4..

term root
ae085..