Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ SNoL x0 = SNoS_ x0

as obj
-

as prop
95823..^ordinal_SNoL

theory
HotG

stx
2cf07..

address
TMKCD..^ordinal_SNoL