Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.sup_map

Modification history

2021-05-04 02:29

src/data/finset/lattice.lean

feat(data/finset/lattice): add sup_image (#7428) …

Added finset.sup_map View on Github →