Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . (∀ x1 x2 . x0 x1 x2 ⟶ x0 x2 x1 ⟶ x1 = x2) ⟶ antisymmetric_i x0

as obj
-

as prop
8fcd7..^{antisymmetric_i_I}

theory
HF

stx
b6147..

address
TML2T..^{antisymmetric_i_I}