Mathlib Changelog
v4
Changelog
About
Github
Theorem
Dynamics.ball_dynEntourage_mem_nhds
Modification history
2025-04-24 17:34
Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean
feat(Dynamics/TopologicalEntropy): Topological entropy and subsets (#24262) …
Added
Dynamics.ball_dynEntourage_mem_nhds
View on Github →