Theorem Function.Injective.isFixedPt_apply_iff

Modification history

2022-12-20 13:26
Mathlib/Dynamics/Basic.lean
feat: port `Dynamics.Basic` (#1120)
Added Function.Injective.isFixedPt_apply_iffView on Github →