Theorem List.pairwise_map'
Modification history
2025-01-06 10:15
Mathlib/Data/List/Pairwise.lean
chore: remove >9 month old deprecations (#20505)
Deleted List.pairwise_map'View on Github →2024-11-25 13:34
Mathlib/Data/List/Pairwise.lean
chore: ensure there is a replacement identifier or text suggestion for all deprecations (#19426) …
Modified List.pairwise_map'View on Github →2024-06-10 06:26
Mathlib/Data/List/Pairwise.lean
chore(*): fix more deprecated dates (#13674)
Modified List.pairwise_map'View on Github →