Theorem Flow.image_eq_preimage

Modification history

2025-11-07 10:44

Mathlib/Dynamics/Flow.lean

refactor(Logic/Equiv): rename `image_eq_preimage` to `image_symm_eq_preimage`/`image_eq_preimage_symm` (#31130) …

Deleted Flow.image_eq_preimage View on Github →

2023-02-23 08:00

Mathlib/Dynamics/Flow.lean

feat: Port Dynamics.Flow (#2451)

Added Flow.image_eq_preimage View on Github →