Theorem List.Pairwise.rel_head_of_rel_head_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_head_of_rel_head_headView on Github →