Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0realSNoLt 0 x0∀ x1 : ο . (∀ x2 . and (x2omega) (SNoLt (eps_ x2) x0)x1)x1
type
prop
theory
HotG
name
real_pos_eps_
proof
PUeVh..
Megalodon
-
proofgold address
TMXra..
creator
29749 PrQUS../97644..
owner
29749 PrQUS../97644..
term root
a1852..