Theorem Dynamics.IsDynNetIn.monotone_subset

Modification history

2025-12-19 15:37
Mathlib/Dynamics/TopologicalEntropy/Subset.lean
refactor(Dynamics): use `SetRel` notions of separation and cover (#31259) …
Modified Dynamics.IsDynNetIn.monotone_subsetView on Github →
2025-07-04 07:44
Mathlib/Dynamics/TopologicalEntropy/Subset.lean
chore: further whitespace fixes (#26708) …
Modified Dynamics.IsDynNetIn.monotone_subsetView on Github →
2025-04-24 17:34
Mathlib/Dynamics/TopologicalEntropy/Subset.lean
feat(Dynamics/TopologicalEntropy): Topological entropy and subsets (#24262) …
Added Dynamics.IsDynNetIn.monotone_subsetView on Github →