Theorem IsInvariant.isFwInvariant

Modification history

2025-09-28 19:43

Mathlib/Dynamics/Flow.lean

feat(Dynamics/Flow): define semiconjugacy, factor and orbit (#28000) …

Deleted IsInvariant.isFwInvariant View on Github →

2023-02-23 08:00

Mathlib/Dynamics/Flow.lean

feat: Port Dynamics.Flow (#2451)

Added IsInvariant.isFwInvariant View on Github →