mathlib3

15b4fe61 - chore(algebra/iterate_hom): generalize `iterate_map_one` and `iterate_map_mul` to mul_one_class (#7331)