Theorem IsCompact.exists_finite_cover_smul

Modification history

2023-02-11 10:10

Mathlib/Dynamics/Minimal.lean

fix: rename HasContinuousConstSMul to ContinuousConstSMul (#2185)

Modified IsCompact.exists_finite_cover_smul View on Github →

2023-02-05 18:39

Mathlib/Dynamics/Minimal.lean

feat: port Dynamics.Minimal (#2075)

Added IsCompact.exists_finite_cover_smul View on Github →