Theorem Flow.toHomeomorph_symm_apply

Modification history

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