mathlib

2397ca3a - feat(logic.basic): add ne_and_eq_iff_right (#17673)

feat(logic.basic): add ne_and_eq_iff_right (#17673) Corresponding mathlib4 PR [#673](https://github.com/leanprover-community/mathlib4/pull/673) From flt-regular