Theorem Set.preimage_eq_univ_iff

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