Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.subset_image_iff

Modification history

2022-12-08 18:41
src/data/finset/basic.lean
refactor(data/finset/image): split out of data/finset/basic (#17852) …
Modified finset.subset_image_iffView on Github →
2022-02-12 19:33
src/data/finset/basic.lean
chore(data/finset/basic): Golf and compress (#11987) …
Modified finset.subset_image_iffView on Github →
2020-04-08 17:46
src/data/finset.lean
feat(tactic/linter): add decidable_classical linter (#2352) …
Modified finset.subset_image_iffView on Github →
2019-10-03 17:37
src/data/finset.lean
chore(*): fix errors in library and sanity_check (#1499) …
Modified finset.subset_image_iffView on Github →
2019-04-20 20:07
src/data/finset.lean
feat(data/[fin]set): add some more basic properties of (finite) sets (#948) …
Added finset.subset_image_iffView on Github →