Theorem List.Chain.backwards_induction

Modification history

2024-09-02 00:34
Mathlib/Data/List/Chain.lean
feat(Data/List/Change): add forwards induction for List.Chain and List.Chain' (#16346) …
Added List.Chain.backwards_inductionView on Github →