Theorem List.take_iterate

Modification history

2024-06-09 15:54
Mathlib/Data/List/Iterate.lean
feat: add `List.iterate_add` (#13257)
Added List.take_iterateView on Github →