Theorem Flow.IsSemiconjugacy.isFactorOf

Modification history

2025-09-28 19:43

Mathlib/Dynamics/Flow.lean

feat(Dynamics/Flow): define semiconjugacy, factor and orbit (#28000) …

Added Flow.IsSemiconjugacy.isFactorOf View on Github →