Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ SNoElts_ x0 ⊆ SNoElts_ x1

as obj
-

as prop
85961..^SNoElts_mon

theory
HotG

stx
fab7c..

address
TMcnJ..^SNoElts_mon