Proofgold Term Root Disambiguation

∀ x0 x1 . not (x0 = x1) ⟶ not (x1 = x0)

as obj
-

as prop
73fda..^neq_sym_i

theory
HF

stx
dda19..

address
TMWzg..^neq_sym_i