Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ diadic_rational_p (eps_ x0)

type
prop

theory
HotG

name
eps_diadic_rational_p

proof
PUMdw..

Megalodon
eps_diadic_rational_p

proofgold address
TMK2p..^{eps_diadic_rational_p}

creator
12548 PrGxv../2185a..

owner
12548 PrGxv../2185a..

term root
d306d..