Proofgold Term Root Disambiguation

omega ⊆ int

as obj
-

as prop
b1bb2..^{Subq_omega_int}

theory
HotG

stx
7d348..

address
TMS2o..^{Subq_omega_int}