Proofgold Proposition

type
prop

theory
HotG

name
diadic_rational_p_SNoS_omega

proof
PUMdw..

Megalodon
diadic_rational_p_SNoS_omega

proofgold address
TMcxv..^{diadic_rational_p_SNoS_omega}

creator
12548 PrGxv../f0855..

owner
12548 PrGxv../f0855..

term root
b7e7a..