Theorem Function.Periodic.not_injective

Modification history

2024-01-30 00:03
Mathlib/Algebra/Periodic.lean
feat: Integral curves are either injective or periodic (#9343) …
Added Function.Periodic.not_injectiveView on Github →