Proofgold Proposition

type
prop

theory
HotG

name
Subq_rational_real

proof
PUcxH..

Megalodon
Subq_rational_real

proofgold address
TMYFW..^{Subq_rational_real}

creator
29779 PrQUS../42fcb..

owner
29779 PrQUS../42fcb..

term root
0691e..