Theorem List.Pairwise.map

Modification history

2023-09-18 01:46

Mathlib/Data/List/Pairwise.lean

chore: update to std4#100 (#6743) …

Deleted List.Pairwise.map View on Github →

2022-10-08 09:24

Mathlib/Data/List/Pairwise.lean

feat: minimal port of `Fintype (Fin n)` (#433) …

Added List.Pairwise.map View on Github →