Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.inf'_mem

Modification history

2021-04-18 14:42
src/data/finset/lattice.lean
feat(data/finset/lattice): mem_sup, mem_sup' (#7245) …
Added finset.inf'_memView on Github →