Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0real∀ x1 : ο . (SNo x0SNoLev x0ordsucc omegax0SNoS_ (ordsucc omega)SNoLt (minus_SNo omega) x0SNoLt x0 omega(∀ x2 . x2SNoS_ omega(∀ x3 . x3omegaSNoLt (abs_SNo (add_SNo x2 (minus_SNo x0))) (eps_ x3))x2 = x0)(∀ x2 . x2omega∀ x3 : ο . (∀ x4 . and (x4SNoS_ omega) (and (SNoLt x4 x0) (SNoLt x0 (add_SNo x4 (eps_ x2))))x3)x3)x1)x1
type
prop
theory
HotG
name
real_E
proof
PUgvb..
Megalodon
real_E
proofgold address
TMXFk..real_E
creator
12283 PrGxv../6579d..
owner
12283 PrGxv../6579d..
term root
ac0c5..