Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ ∀ x1 . SNo_ x0 x1 ⟶ SNo x1

as obj
-

as prop
f8a9f..^SNo_I

theory
HF

stx
8964b..

address
TMUbq..^SNo_I