Remove duplicate lemma "neq_symm" of "not_symmetry".