Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ x0 = 02a50.. (56ded.. x0) 4a7ef..

as obj
-

as prop
360d7..

theory
HoTg

stx
ab965..

address
TMP1P..