Theorem Dynamics.coverEntropyInf_image_le_of_uniformContinuousOn_invariant

Modification history

2024-10-11 18:32
Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean
feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies (#17387) …
Added Dynamics.coverEntropyInf_image_le_of_uniformContinuousOn_invariantView on Github →