Proofgold Term Root Disambiguation

∀ x0 . SNoL x0 ⊆ SNoS_ (SNoLev x0)

as obj
-

as prop
40971..^SNoL_SNoS_

theory
HotG

stx
2cf07..

address
TMVSh..^SNoL_SNoS_