Proofgold Term Root Disambiguation

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

as obj
6e71b..^idT

as prop
-

theory
HotG

stx
2772d..

address
TMLSc..^idT