Proofgold Term Root Disambiguation

∀ x0 . equip (setsum x0 0) x0

as obj
-

as prop
c9834..^{equip_setsum_Empty_R}

theory
HF

stx
e311e..

address
TMcgy..^{equip_setsum_Empty_R}