Theorem Flow.mem_orbit_iff

Modification history

2025-10-23 13:34
Mathlib/Dynamics/Flow.lean
feat(GroupTheory/FreeGroup/Orbit): The orbit of a point generated by parts of a free group can be "duplicated" (#30130) …
Modified Flow.mem_orbit_iffView on Github →
2025-09-28 19:43
Mathlib/Dynamics/Flow.lean
feat(Dynamics/Flow): define semiconjugacy, factor and orbit (#28000) …
Added Flow.mem_orbit_iffView on Github →