Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x2 (ap x0 x1) ⟶ In (setsum x1 x2) x0

as obj
-

as prop
0bd41..^apE

theory
HF

stx
cbc45..

address
TMSzA..^apE