Proofgold Term Root Disambiguation

∀ x0 x1 . equip x0 x1 ⟶ equip x1 x0

as obj
-

as prop
272f0..^equip_sym

theory
HotG

stx
ed591..

address
TMY2o..^equip_sym