Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 x0 ⟶ In x1 (SNoElts_ x0)

as obj
-

as prop
92d43..^SNoElts__I1

theory
HF

stx
8964b..

address
TMVvE..^SNoElts__I1