Proofgold Term Root Disambiguation

∀ x0 x1 : (ι → ο) → ο . e6217.. (a4b00.. x0) (a4b00.. x1) ⟶ 3a6d0.. x0 x1

as obj
-

as prop
db604..^In_3_down

theory
HF

stx
f19eb..

address
TMTYT..^In_3_down