Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ι → ι → ο . 6fe8d.. x0 x1 x2 32d20.. 6915e..

as obj
-

as prop
7d6ad..

theory
HOAS

stx
64e99..

address
TMFW7..