Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-09 21:43 fb674e1e

View on Github →

feat(data/finset/lattice): map_sup, map_inf (#6601)

Estimated changes

added theorem finset.map_inf
added theorem finset.map_sup