Proofgold Term Root Disambiguation

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

as obj
-

as prop
f2c5c..^equipI

theory
HF

stx
e311e..

address
TMNwD..^equipI