Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ SNo (minus_SNo x0)

as obj
-

as prop
53394..^mordinal_SNo

theory
HotG

stx
2cf07..

address
TMZCa..^mordinal_SNo