Theorem Flow.fromIter_apply

Modification history

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