Proofgold Term Root Disambiguation

∀ x0 x1 x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ and x0 x1 ⟶ x2

as obj
-

as prop
0ef46..^andE_imp

theory
HF

stx
1efa1..

address
TMJp6..^andE_imp