Proofgold Term Root Disambiguation

λ x0 : ι → (ι → ι → ο) → ι → ο . λ x1 . Descr_Vo1 (1d55d.. x0 x1)

as obj
fbe49..

as prop
-

theory
HoTg

stx
6c541..

address
TMF7x..^In_rec_Vo1