Theorem Flow.reverse_apply

Modification history

2026-06-22 05:44
Mathlib/Dynamics/Flow.lean
chore(Dynamics): general clean-up (#40259) …
Added Flow.reverse_applyView on Github →