Theorem Dynamics.IsDynCoverOf.preimage

Modification history

2025-10-24 14:57

Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean

refactor(Topology/UniformSpace): use `SetRel` (#23181) …

Modified Dynamics.IsDynCoverOf.preimage View on Github →

2024-10-11 18:32

Mathlib/Dynamics/TopologicalEntropy/Semiconj.lean

feat(Dynamics.TopologicalEntropy.Semiconj): topological entropy and semiconjugacies (#17387) …

Added Dynamics.IsDynCoverOf.preimage View on Github →