Proofgold Term Root Disambiguation

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

as obj
-

as prop
fcc2b..

theory
HF

stx
ac81c..

address
TMRMa..