Theorem Dynamics.coverMincard_le_pow
Modification history
2025-12-19 15:37
Mathlib/Dynamics/TopologicalEntropy/CoverEntropy.lean
refactor(Dynamics): use `SetRel` notions of separation and cover (#31259) …
Modified Dynamics.coverMincard_le_powView on Github →