Theorem Set.exists_range_iff'

Modification history

2024-03-12 09:02
Mathlib/Data/Set/Image.lean
chore(Set/Image): restore `forall_range_iff` (#11287) …
Deleted Set.exists_range_iff'View on Github →
2022-12-12 07:45
Mathlib/Data/Set/Image.lean
feat: Port Data.Set.Image (#949) …
Added Set.exists_range_iff'View on Github →