Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.inf'_map

Modification history

2022-07-18 17:22

src/data/finset/lattice.lean

refactor(data/finset/lattice): sup' and inf' without option (#15195) …

Added finset.inf'_map View on Github →