Proofgold Term Root Disambiguation

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

as obj
-

as prop
b7736..^In_4_up

theory
HF

stx
f19eb..

address
TMNDw..^In_4_up