Proofgold Term Root Disambiguation

∀ x0 : ι → ο . ∀ x1 . 707bb.. x0 x1 ⟶ d701e.. x0 x1 x1

as obj
-

as prop
3d3ad..

theory
HOAS

stx
e4836..

address
TMSEp..