Proofgold Term Root Disambiguation

∀ x0 x1 : ι → ο . 3a6d0.. (407b5.. x0) (407b5.. x1) ⟶ d97e3.. x0 x1

as obj
-

as prop
d6cc7..^In_2_down

theory
HF

stx
f19eb..

address
TMPaG..^In_2_down