Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.commute.iterate_pos_eq_iff_map_eq

Modification history

2020-06-03 12:09
src/order/iterate.lean
feat(order/iterate): a few more lemmas about `f^[n]` (#2925)
Added function.commute.iterate_pos_eq_iff_map_eqView on Github →