Theorem Dynamics.netEntropyInfEntourage_monotone

Modification history

2025-04-24 17:34

Mathlib/Dynamics/TopologicalEntropy/Subset.lean

feat(Dynamics/TopologicalEntropy): Topological entropy and subsets (#24262) …

Added Dynamics.netEntropyInfEntourage_monotone View on Github →