Proofgold Term Root Disambiguation

omega ⊆ int_alt1

as obj
-

as prop
c3d99..^{Subq_omega_int}

theory
HotG

stx
b160a..

address
TMbZK..^{Subq_omega_int}