Proofgold Term Root Disambiguation

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

as obj
fb56c..^AC_1

as prop
-

theory
HF

stx
a8b20..

address
TMKi3..^AC_1