Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ι → ο . ∀ x2 . 6fe8d.. x0 x1 5c39b.. x2 6915e.. ⟶ d478c.. x0 x1 x2

as obj
-

as prop
9df63..

theory
HOAS

stx
64e99..

address
TMJMS..