Proofgold Term Root Disambiguation

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

as obj
36e15..

as prop
-

theory
HotG

stx
7e9c3..

address
TMKwN..