Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.image_const

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.image_constView on Github →
2020-01-26 01:12
src/data/finset.lean
feat(*): some simple lemmas about sets and finite sets (#1903) …
Modified finset.image_constView on Github →
2019-10-03 17:37
src/data/finset.lean
chore(*): fix errors in library and sanity_check (#1499) …
Modified finset.image_constView on Github →
2018-08-28 15:05
data/finset.lean
refactor(analysis): add nndist; add finite product of metric spaces; prepare for normed spaces
Added finset.image_constView on Github →