Theorem Set.image_diff_subset

Modification history

2026-02-25 08:52
Mathlib/Data/Set/Image.lean
chore(*): reduce defeq abuse around `Set` (#35752)
Added Set.image_diff_subsetView on Github →