Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ι → ο . ∀ x2 . 6fe8d.. x0 x1 5c39b.. x2 32d20.. ⟶ d478c.. x0 x1 x2

as obj
-

as prop
a63fb..

theory
HOAS

stx
64e99..

address
TMS1u..