Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . prim1 x3 (b5c9f.. (b5c9f.. x2 x1) x0) ⟶ ∀ x4 . prim1 x4 x0 ⟶ ∀ x5 . prim1 x5 x1 ⟶ prim1 (f482f.. (f482f.. x3 x4) x5) x2

as obj
-

as prop
bb32b..

theory
HoTg

stx
aca54..

address
TMMqw..