Theorem Dynamics.le_coverEntropyEntourage_image

Modification history

2025-10-24 14:57
Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean
refactor(Topology/UniformSpace): use `SetRel` (#23181) …
Modified Dynamics.le_coverEntropyEntourage_imageView on Github →
2024-10-11 18:32
Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean
feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies (#17387) …
Added Dynamics.le_coverEntropyEntourage_imageView on Github →