Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-29 16:12 cb37df34

View on Github →

feat(data/list/pairwise): pairwise repeat (#11117)

Estimated changes

Modified src/data/list/pairwise.lean

added theorem list.pairwise_repeat