Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
is_compact.exists_finite_cover_smul
Modification history
2022-02-18 04:52
src/dynamics/minimal.lean
feat(topology/algebra): generalize `has_continuous_smul` arguments to `has_continuous_const_smul` (#11999) …
Modified
is_compact.exists_finite_cover_smul
View on Github →
2021-11-16 15:57
src/dynamics/minimal.lean
feat(dynamics): define `{mul,add}_action.is_minimal` (#10311)
Added
is_compact.exists_finite_cover_smul
View on Github →