Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ 23e07.. x0 = 56ded.. x0

as obj
-

as prop
bc369..

theory
HoTg

stx
ab965..

address
TMXVE..