Proofgold Term Root Disambiguation

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

as obj
-

as prop
3b206..^{tab_neq_i_sym}

theory
HF

stx
dda19..

address
TMb8d..^{tab_neq_i_sym}