Proofgold Term Root Disambiguation

∀ x0 x1 . equip x0 x1 ⟶ ∀ x2 : ο . (∀ x3 : ι → ι . bij x0 x1 x3 ⟶ x2) ⟶ x2

as obj
-

as prop
c9b7c..^{equipE_impred}

theory
HF

stx
e311e..

address
TMQww..^{equipE_impred}