Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . equip x0 x2 ⟶ equip x1 x3 ⟶ equip (setsum x0 x1) (setsum x2 x3)

as obj
-

as prop
0b5e2..^{equip_setsum_cong}

theory
HF

stx
e311e..

address
TMPJL..^{equip_setsum_cong}