Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ι → ο . bb8e6.. x0 ⟶ bb8e6.. x1 ⟶ d478c.. x0 x1 32d20..

as obj
-

as prop
a1ac9..

theory
HOAS

stx
0c5d2..

address
TMMYM..