Proofgold Term Root Disambiguation

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

as obj
86554..

as prop
-

theory
HotG

stx
3be30..

address
TMHgd..