Def Function.IsFixedPt

Modification history

2024-08-01 10:24

Mathlib/Dynamics/FixedPoints/Basic.lean

feat(IntermediateValue): add `IsFixedPt` corollaries (#15395) …

Modified Function.IsFixedPt View on Github →

2022-12-20 13:26

Mathlib/Dynamics/Basic.lean

feat: port `Dynamics.Basic` (#1120)

Added Function.IsFixedPt View on Github →