Proofgold Term Root Disambiguation

λ x0 : ι → (ι → ι → ι → ι) → ι → ι → ι . λ x1 . Descr_iii (ca584.. x0 x1)

as obj
28408..^In_rec_iii

as prop
-

theory
HF

stx
f19eb..

address
TMFZ2..^In_rec_iii