Theorem Flow.isSemiconjugacy_id_iff_eq

Modification history

2025-09-28 19:43
Mathlib/Dynamics/Flow.lean
feat(Dynamics/Flow): define semiconjugacy, factor and orbit (#28000) …
Added Flow.isSemiconjugacy_id_iff_eqView on Github →