Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ x0 ⊆ x1 ⟶ SNoS_ x0 ⊆ SNoS_ x1

as obj
-

as prop
d928b..^SNoS_Subq

theory
HotG

stx
fab7c..

address
TMUi6..^SNoS_Subq