Proofgold Term Root Disambiguation

λ x0 x1 : (ι → ο) → ο . 3a6d0.. x1 x0

as obj
a4b00..^incl_2_3

as prop
-

theory
HF

stx
f19eb..

address
TMMV5..^incl_2_3