Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.fin_map

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.fin_map View on Github →

2022-08-31 20:06

src/data/finset/basic.lean

feat(*): bump to lean 3.48.0 (#16292) …

Added finset.fin_map View on Github →