Theorem Set.range_iff_surjective

Modification history

2024-11-13 05:12

Mathlib/Data/Set/Image.lean

chore: rename lemmas to `range_eq_top`/`range_eq_top_of_surjective` (#18853) …

Deleted Set.range_iff_surjective View on Github →

2022-12-12 07:45

Mathlib/Data/Set/Image.lean

feat: Port Data.Set.Image (#949) …

Added Set.range_iff_surjective View on Github →