Theorem Set.exists_mem_image

Modification history

2024-03-08 07:00
Mathlib/Data/Set/Image.lean
chore: Remove `ball` and `bex` from lemma names (#10816) …
Added Set.exists_mem_imageView on Github →