mathlib
71a3261c - feat(logic/basic): exists_eq simp lemmas without and.comm (#5694)

Commit

5 years ago

feat(logic/basic): exists_eq simp lemmas without and.comm (#5694)

Author

pechersky

pechersky

Parents

Loading