mathlib

4cc42077 - feat(algebra/module/linear_map): Add linear_map.iterate (#6377)

feat(algebra/module/linear_map): Add linear_map.iterate (#6377) Co-authored-by: Alex J. Best <alex.j.best@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>