mathlib3
07dcff7d - feat(logic/relation): reflexive.ne_iff_imp (#7579)

Commit

5 years ago

feat(logic/relation): reflexive.ne_iff_imp (#7579) As suggested in #7567 Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com>

Author

pechersky

Parents