Proofgold Proposition

type
prop

theory
HotG

name
Subq_SNoS_omega_rational

proof
PUcxH..

Megalodon
Subq_SNoS_omega_rational

proofgold address
TMc3W..^{Subq_SNoS_omega_rational}

creator
29779 PrQUS../ccd77..

owner
29779 PrQUS../ccd77..

term root
e4a86..