Theorem List.IsPrefix.filter_map

Modification history

2024-03-26 14:16

Mathlib/Data/List/Infix.lean

chore(List/ReduceOption): move from Basic.lean (#11662) …

Deleted List.IsPrefix.filter_map View on Github →

2023-10-11 08:24

Mathlib/Data/List/Infix.lean

chore: bump std (#7602)

Added List.IsPrefix.filter_map View on Github →