Theorem Set.Nonempty.subset_preimage_const

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.Nonempty.subset_preimage_constView on Github →