Proofgold Term Root Disambiguation

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

as obj
13806..

as prop
-

theory
HotG

stx
46321..

address
TMPFa..