Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ x0 ⊆ x1 ⟶ ordsucc x0 ⊆ ordsucc x1

as obj
-

as prop
f0633..

theory
HotG

stx
71eda..

address
TMWvV..