Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-03 12:09 0ec9c0e3

View on Github →

feat(algebra/iterate_hom): add mul_left_iterate etc (#2923)

Estimated changes

added theorem add_left_iterate
added theorem add_right_iterate
added theorem mul_left_iterate
added theorem mul_right_iterate