Theorem Dynamics.coverEntropyInf_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.coverEntropyInf_restrict_subsetView on Github →