Proofgold Term Root Disambiguation

∀ x0 . SNoR x0 ⊆ SNoS_ (SNoLev x0)

as obj
-

as prop
2fe1c..^SNoR_SNoS_

theory
HotG

stx
2cf07..

address
TMSz3..^SNoR_SNoS_