Proofgold Term Root Disambiguation

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

as obj
ddc2c..

as prop
-

theory
HoTg

stx
7f654..

address
TMYM1..^PNo_lenbdd