Theorem Dynamics.coverEntropy_restrict_subset

Modification history

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