Proofgold Term Root Disambiguation

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

as obj
-

as prop
9b744..^In_2_up

theory
HF

stx
f19eb..

address
TMH6o..^In_2_up