Proofgold Term Root Disambiguation

rational ⊆ real

as obj
-

as prop
2749c..^{Subq_rational_real}

theory
HotG

stx
8dd0d..

address
TMUER..^{Subq_rational_real}