Proofgold Term Root Disambiguation

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

as obj
-

as prop
dcb97..^pair_ap_1

theory
HF

stx
89549..

address
TMc4J..^pair_ap_1