Proofgold Term Root Disambiguation

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

as obj
-

as prop
2042d..

theory
HOAS

stx
2ed5d..

address
TMXmB..