Proofgold Term Root Disambiguation

λ x0 : (ι → ο) → ο . λ x1 : (ι → ι → ο) → ο . λ x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 . λ x12 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . λ x13 x14 : ι → ι → ι . λ x15 x16 x17 . x14 (x13 (x13 x17 x15) x16) (x13 x15 x16)

as obj
5dfca..

as prop
-

theory
HotG

stx
a9de5..

address
TMHx9..