Theorem Set.image_diff_subset

Modification history

2026-06-09 08:51
Mathlib/Data/Set/Image.lean
chore: rename `diff` to `sdiff` (#40184) …
Deleted Set.image_diff_subsetView on Github →
2026-02-25 08:52
Mathlib/Data/Set/Image.lean
chore(*): reduce defeq abuse around `Set` (#35752)
Added Set.image_diff_subsetView on Github →