Proofgold Term Root Disambiguation

λ x0 . λ x1 : (ι → ο) → ο . 1216a.. (e5b72.. x0) (λ x2 . x1 (λ x3 . prim1 x3 x2))

as obj
e0e40..

as prop
-

theory
HoTg

stx
e27bb..

address
TMFmT..