Proofgold Term Root Disambiguation

∀ x0 x1 : ((ι → ο) → ο) → ο . 8fddf.. (a327b.. x0) (a327b.. x1) ⟶ e6217.. x0 x1

as obj
-

as prop
edf38..^In_4_down

theory
HF

stx
f19eb..

address
TMPpr..^In_4_down