Proofgold Term Root Disambiguation

∀ x0 x1 . equip x0 x1 ⟶ equip x1 x0

as obj
-

as prop
637fd..^equip_sym

theory
HF

stx
e311e..

address
TMSPC..^equip_sym