Theorem Set.subset_range_of_surjective

Modification history

2024-02-12 10:30
Mathlib/Data/Set/Image.lean
fix(Data/Set/Image): simp confluence issues with `image_subset_iff` (#8683) …
Added Set.subset_range_of_surjectiveView on Github →