Proofgold Term Root Disambiguation

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

as obj
-

as prop
28d43..^SNoLeE_or

theory
HF

stx
8964b..

address
TMJwF..^SNoLeE_or