Theorem Dynamics.isDynCoverOf_empty_right

Modification history

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