Proofgold Term Root Disambiguation

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

as obj
38808..

as prop
-

theory
HoTg

stx
7f654..

address
TMdTi..^EpsR_i_i_1