Def Dynamics.dynEntourage

Modification history

2025-10-24 14:57

Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean

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

Modified Dynamics.dynEntourage View on Github →

2024-08-12 19:34

Mathlib/Dynamics/TopologicalEntropy/DynamicalEntourage.lean

feat(Dynamics): add TopologicalEntropy.DynamicalUniformity (#14938) …

Added Dynamics.dynEntourage View on Github →