Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x2 (setexp x1 x0) ⟶ In x2 (Pi x0 (λ x3 . x1))

as obj
-

as prop
4bf71..^setexp_E

theory
HF

stx
b6147..

address
TMPNk..^setexp_E