Proofgold Term Root Disambiguation

SNoS_ omega ⊆ real

as obj
-

as prop
d9411..^{SNoS_omega_real}

theory
HotG

stx
9ae9f..

address
TMN2t..^{SNoS_omega_real}