Proofgold Term Root Disambiguation

λ x0 x1 : ι → ο . d97e3.. x1 x0

as obj
407b5..^incl_1_2

as prop
-

theory
HF

stx
f19eb..

address
TMVaQ..^incl_1_2