Proofgold Term Root Disambiguation

∀ x0 . 80242.. x0 ⟶ ∀ x1 x2 . 02b90.. x1 x2 ⟶ x0 = 02a50.. x1 x2 ⟶ f4dc0.. x0 = 02a50.. (94f9e.. x2 f4dc0..) (94f9e.. x1 f4dc0..)

as obj
-

as prop
f4a7a..

theory
HoTg

stx
ab965..

address
TMKdu..