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