Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . diadic_rational_p x0SNoLt 0 x0∀ x1 : ο . (∀ x2 . and (x2omega) (SNoLe (eps_ x2) x0)x1)x1
type
prop
theory
HotG
name
diadic_rational_p_pos_eps_between
proof
PUaSr..
Megalodon
-
proofgold address
TMRo5..
creator
23745 Pr5Zc../843d5..
owner
23745 Pr5Zc../843d5..
term root
65d1d..