Proofgold Term Root Disambiguation

λ x0 : ι → (ι → ο) → ο . Descr_Vo1 (x0 (DescrR_i_io_1 x0))

as obj
053b1..

as prop
-

theory
HoTg

stx
7f654..

address
TMQ5Y..^{DescrR_i_io_2}