Theorem IsCompact.smul

Modification history

2023-02-11 10:10

Mathlib/Topology/Algebra/ConstMulAction.lean

fix: rename HasContinuousConstSMul to ContinuousConstSMul (#2185)

Modified IsCompact.smul View on Github →

2023-02-03 23:53

Mathlib/Topology/Algebra/ConstMulAction.lean

chore: fix naming in ConstMulAction.lean (#2047) …

Modified IsCompact.smul View on Github →

2023-02-02 17:16

Mathlib/Topology/Algebra/ConstMulAction.lean

feat: port Topology.Algebra.ConstMulAction (#2012)

Added IsCompact.smul View on Github →