Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ι . 236c6.. = prim1 (λ x2 . prim1 (x0 x2)) ⟶ ∀ x1 : ο . x1

as obj
-

as prop
148f8..

theory
HOAS

stx
e4836..

address
TMX6d..