Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι . (∀ x3 . prim1 x3 x0 ⟶ prim1 (x2 x3) x1) ⟶ ∀ x3 . prim1 x3 (e5b72.. x0) ⟶ prim1 (94f9e.. x3 x2) (e5b72.. x1)

as obj
-

as prop
61f1b..

theory
HoTg

stx
90e2b..

address
TMXM3..