Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.iterate_map_div

Modification history

2021-12-19 10:01
src/algebra/iterate_hom.lean
chore(algebra/iterate_hom): use to_additive to fill missing lemmas (#10886)
Added monoid_hom.iterate_map_divView on Github →