Proofgold Term Root Disambiguation

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

as obj
-

as prop
aabcd..^SNoElts_mon

theory
HF

stx
8964b..

address
TMduo..^SNoElts_mon