Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.commute.iterate_pos_le_iff_map_le'

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_le_iff_map_le'View on Github →