Proofgold Term Root Disambiguation

λ x0 : (ι → ι → ι) → ο . λ x1 x2 . Eps_i (λ x3 . ∀ x4 : ι → ι → ι . x0 x4 ⟶ x4 x1 x2 = x3)

as obj
c25b9..^Descr_iii

as prop
-

theory
HF

stx
f19eb..

address
TMXQV..^Descr_iii