Proofgold Term Root Disambiguation

λ x0 : (ι → ο) → ο . Descr_Vo1 (λ x1 : ι → ο . 407b5.. x1 = x0)

as obj
3e5e9..^down_2_1

as prop
-

theory
HF

stx
a8b20..

address
TMUep..^down_2_1