Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x2 (setprod x0 x1) ⟶ In (ap x2 1) x1

as obj
-

as prop
6789e..^ap1_setprod

theory
HF

stx
b2d3f..

address
TMFRM..^ap1_setprod