Proofgold Term Root Disambiguation

λ x0 x1 x2 . ∀ x3 : ι → ι → ο . x3 4a7ef.. x1 ⟶ (∀ x4 . ba9d8.. x4 ⟶ ∀ x5 . x3 x4 x5 ⟶ x3 (4ae4a.. x4) (prim3 x5)) ⟶ x3 x0 x2

as obj
aa8d2..

as prop
-

theory
HoTg

stx
c93a1..

address
TMUE7..