Theorem Dynamics.coverMincard_image_le

Modification history

2025-10-24 14:57
Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean
refactor(Topology/UniformSpace): use `SetRel` (#23181) …
Modified Dynamics.coverMincard_image_leView on Github →
2024-10-11 18:32
Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean
feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies (#17387) …
Added Dynamics.coverMincard_image_leView on Github →