Theorem List.filterMap_none

Modification history

2026-02-23 13:33
Mathlib/Data/List/Basic.lean
feat(Computability): add FinEncodings for List Bool and pairs of types (#32367) …
Added List.filterMap_noneView on Github →