Theorem List.iterate_add

Modification history

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