Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (ordsucc x0) ⟶ or (In x1 x0) (x1 = x0)

as obj
-

as prop
1373d..^ordsuccE

theory
HF

stx
0d78c..

address
TMav8..^ordsuccE