Proofgold Term Root Disambiguation

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

as obj
52bd3..^Descr_ii

as prop
-

theory
HF

stx
f19eb..

address
TMYQg..^Descr_ii