mathlib
b2f643e9 - feat(dynamics/fixed_points): define `is_fixed_pt` (#2857)

Commit

5 years ago

feat(dynamics/fixed_points): define `is_fixed_pt` (#2857) Define `function.is_fixed_pt` and prove some basic properties.

Author

urkud

Parents