Proofgold Term Root Disambiguation

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ or (SNoLt x0 x1) (SNoLe x1 x0)

as obj
-

as prop
541dd..^SNoLtLe_or

theory
HF

stx
8964b..

address
TMVAG..^SNoLtLe_or