Proofgold Term Root Disambiguation

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

as obj
-

as prop
fe28a..^ap0_setprod

theory
HF

stx
b2d3f..

address
TMVpx..^ap0_setprod