Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUgvb..

Megalodon
-

proofgold address
TMc1T..

creator
12283 PrGxv../02079..

owner
12283 PrGxv../02079..

term root
20adc..