Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ (ordsucc omega) ⟶ SNoLt (minus_SNo omega) x0 ⟶ SNoLt x0 omega ⟶ ∀ x1 : ο . (∀ x2 . and (x2 ∈ omega) (SNoLt (abs_SNo (mul_SNo (eps_ x2) x0)) 1) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PULPi..

Megalodon
-

proofgold address
TMdRr..

creator
12306 PrGxv../da139..

owner
12306 PrGxv../da139..

term root
6fdb2..