Proofgold Term Root Disambiguation

∀ x0 x1 x2 . nIn x2 2 ⟶ ap (setsum x0 x1) x2 = 0

as obj
-

as prop
e90b3..^pair_ap_n2

theory
HF

stx
89549..

address
TMbzD..^pair_ap_n2