Proofgold Term Root Disambiguation

λ x0 x1 : ((ι → ο) → ο) → ο . e6217.. x1 x0

as obj
a327b..^incl_3_4

as prop
-

theory
HF

stx
f19eb..

address
TMGet..^incl_3_4