mathlib3
f3f44425 - feat(logic/basic): define exists_unique_eq as a simp lemma (#10364)

Commit

4 years ago

feat(logic/basic): define exists_unique_eq as a simp lemma (#10364)

Author

Julian

Julian

Parents

Loading