Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ι . lam x0 (λ x3 . lam (x1 x3) (x2 x3))

as obj
1af26..^lam2

as prop
-

theory
HotG

stx
08e38..

address
TMYPt..^lam2