Commit 2022-11-23 12:04 8755ae3a

View on Github →

feat(Logic.Basic): add ne_and_eq_iff_right (#673) Corresponding mathlib3 PR [#17673](https://github.com/leanprover-community/mathlib/pull/17673) From flt-regular

Estimated changes

added theorem ne_and_eq_iff_right