Proofgold Term Root Disambiguation

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

as obj
a62a0..^Descr_iio

as prop
-

theory
HF

stx
f19eb..

address
TMc7T..^Descr_iio