Proofgold Term Root Disambiguation

∀ x0 : ι → ο . exu_i x0 ⟶ ∀ x1 x2 . x0 x1 ⟶ x0 x2 ⟶ x1 = x2

as obj
-

as prop
5ab2f..^exu_i_E2

theory
HF

stx
b6147..

address
TMYKF..^exu_i_E2