Proofgold Term Root Disambiguation

λ x0 : ι → ι . prim0 236c6.. (prim1 x0)

as obj
56103..

as prop
-

theory
HOAS

stx
e4836..

address
TMLB8..