Proofgold Term Root Disambiguation

λ x0 . 92512.. x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 x5 . e707a.. x1 x2 x3 x4)

as obj
e33f8..

as prop
-

theory
HoTg

stx
32977..

address
TMURY..