Theorem Function.forall_isFixedPt_iff

Modification history

2026-04-22 10:34

Mathlib/Dynamics/FixedPoints/Basic.lean

chore(Dynamics/FixedPoints/Defs): create `Defs` file (#37678)

Modified Function.forall_isFixedPt_iff View on Github →

2025-03-17 12:40

Mathlib/Dynamics/FixedPoints/Basic.lean

feat(Dynamics/FixedPoints/Basic): Added `isFixedPt_eq_id_iff` (#22998)

Added Function.forall_isFixedPt_iff View on Github →