Proofgold Term Root Disambiguation

omega ⊆ SNoS_ omega

as obj
-

as prop
2ccf7..^{omega_SNoS_omega}

theory
HotG

stx
9ae9f..

address
TMTdm..^{omega_SNoS_omega}