Theorem Dynamics.dynEntourage_mono

Modification history

2025-12-19 15:37
Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean
refactor(Dynamics): use `SetRel` notions of separation and cover (#31259) …
Added Dynamics.dynEntourage_monoView on Github →