Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ι . ∀ x2 . prim1 x0 = prim1 x1 ⟶ x0 x2 = x1 x2

as obj
-

as prop
db6fe..

theory
HOAS

stx
2ed5d..

address
TMGL8..