Proofgold Proposition

type
prop

theory
HotG

name
SNoS_omega_diadic_rational_p

proof
PUMdw..

Megalodon
SNoS_omega_diadic_rational_p

proofgold address
TMK3B..^{SNoS_omega_diadic_rational_p}

creator
12548 PrGxv../a7f76..

owner
12548 PrGxv../a7f76..

term root
a9c76..