Theorem Dynamics.coverEntropy_iUnion_of_finite

Modification history

2025-04-24 17:34
Mathlib/Dynamics/TopologicalEntropy/Subset.lean
feat(Dynamics/TopologicalEntropy): Topological entropy and subsets (#24262) …
Added Dynamics.coverEntropy_iUnion_of_finiteView on Github →