Proofgold Term Root Disambiguation

∀ x0 : ι → ο . ∀ x1 . de327.. x0 x1 x1

as obj
-

as prop
f147c..

theory
HOAS

stx
a68ac..

address
TMYbd..