Theorem List.Pairwise.rel_head

Modification history

2025-02-13 16:50
Mathlib/Data/List/Pairwise.lean
feat(Pairwise): add `Pairwise.rel_head_tail` etc (#21773)
Added List.Pairwise.rel_headView on Github →