mathlib3
54bf708d - feat(logic/basic): exists_unique_false simp lemma (#5544)

Commit

4 years ago

feat(logic/basic): exists_unique_false simp lemma (#5544)

Author

pechersky

pechersky

Parents

Loading