Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ diadic_rational_p x0

type
prop

theory
HotG

name
omega_diadic_rational_p

proof
PUMdw..

Megalodon
omega_diadic_rational_p

proofgold address
TMUo7..^{omega_diadic_rational_p}

creator
12548 PrGxv../9e210..

owner
12548 PrGxv../9e210..

term root
40b04..