Theorem Dynamics.idRel_subset_dynEntourage

Modification history

2026-05-17 20:27
Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean
chore: remove declarations deprecated between 2021-05-15 and 2025-11-15 (#39405) …
Deleted Dynamics.idRel_subset_dynEntourageView on Github →
2024-08-12 19:34
Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean
feat(Dynamics): add TopologicalEntropy.DynamicalUniformity (#14938) …
Added Dynamics.idRel_subset_dynEntourageView on Github →