Proofgold Term Root Disambiguation

∀ x0 x1 . ap (setsum x0 x1) 0 = x0

as obj
-

as prop
ca18d..^pair_ap_0

theory
HF

stx
89549..

address
TMM99..^pair_ap_0