Theorem Dynamics.coverEntropyInf_image_of_comap

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_of_comapView on Github →