Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.filter_of_map

Modification history

2021-03-09 21:43

src/data/list/basic.lean

feat(data/{list,multiset,finset}): map_filter (#6600) …

Deleted list.filter_of_map View on Github →

2018-07-08 14:39

data/list/basic.lean

feat(data/pfun,...): add some isomorphism theorems

Added list.filter_of_map View on Github →