Proofgold Term Root Disambiguation

∀ x0 : ι → ι . ∀ x1 x2 . x1 = x2 ⟶ x0 x1 = x0 x2

as obj
-

as prop
10dfd..^f_equal_i_i

theory
HF

stx
36a0a..

address
TMPVN..^f_eq_i