Proofgold Term Root Disambiguation

λ x0 : ι → (ι → (ι → ο) → ο) → (ι → ο) → ο . λ x1 . Descr_Vo2 (59843.. x0 x1)

as obj
c2908..^In_rec_Vo2

as prop
-

theory
HF

stx
f19eb..

address
TMEsa..^In_rec_Vo2