Commit 2024-09-02 00:34 003d3b4f
View on Github →feat(Data/List/Change): add forwards induction for List.Chain and List.Chain' (#16346) Moves:
- List.Chain.induction -> List.Chain.backwards_induction
- List.Chain.induction_head -> List.Chain.backwards_induction_head