Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.is_fixed_pt.preimage_iterate

Modification history

2022-10-18 08:40
src/dynamics/fixed_points/basic.lean
feat(*): add various order-related lemmas (#16918) …
Added function.is_fixed_pt.preimage_iterateView on Github →