Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ diadic_rational_p x0

type
prop

theory
HotG

name
int_diadic_rational_p

proof
PUMdw..

Megalodon
int_diadic_rational_p

proofgold address
TMbi4..^{int_diadic_rational_p}

creator
12548 PrGxv../3994d..

owner
12548 PrGxv../3994d..

term root
88ce9..