Proofgold Term Root Disambiguation

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

as obj
5d0c6..^Descr_Vo1

as prop
-

theory
HF

stx
f19eb..

address
TMFQ3..^Descr_Vo1