Theorem isMinimal_iff_closed_smul_invariant

Modification history

2023-02-11 10:10

Mathlib/Dynamics/Minimal.lean

fix: rename HasContinuousConstSMul to ContinuousConstSMul (#2185)

Modified isMinimal_iff_closed_smul_invariant View on Github →

2023-02-05 18:39

Mathlib/Dynamics/Minimal.lean

feat: port Dynamics.Minimal (#2075)

Added isMinimal_iff_closed_smul_invariant View on Github →