Theorem List.Pairwise.imp

Modification history

2022-10-11 09:52

Mathlib/Data/List/Pairwise.lean

chore: bump std (#464) …

Deleted List.Pairwise.imp View on Github →

2022-10-08 09:24

Mathlib/Data/List/Pairwise.lean

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

Added List.Pairwise.imp View on Github →