Proofgold Term Root Disambiguation

∀ x0 x1 . equip x0 x1 ⟶ ∃ x2 : ι → ι . bij x0 x1 x2

as obj
-

as prop
c9b7c..^{equipE_impred}

theory
HF

stx
e311e..

address
TMQww..^{equipE_impred}