Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.map_sup

Modification history

2021-05-04 02:29
src/data/finset/lattice.lean
feat(data/finset/lattice): add sup_image (#7428) …
Deleted finset.map_supView on Github →
2021-03-09 21:43
src/data/finset/lattice.lean
feat(data/finset/lattice): map_sup, map_inf (#6601)
Added finset.map_supView on Github →