Proofgold Term Root Disambiguation

∀ x0 . In x0 (Power 1) ⟶ ∀ x1 : ι → ι . (∀ x2 . In x2 x0 ⟶ In (x1 x2) (Power 1)) ⟶ In (lam x0 x1) (Power 1)

as obj
-

as prop
71581..^{Sigma_Power_1}

theory
HF

stx
cbc45..

address
TMReW..^{Sigma_Power_1}