Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.image_compl_eq_range_diff_image
Modification history
2025-01-03 11:02
Mathlib/Data/Set/Image.lean
feat: `f '' sᶜ = range f \ f '' s` when `f` is injective (#19030) …
Added
Set.image_compl_eq_range_diff_image
View on Github →