Theorem isClosed_setOf_map_smul

Modification history

2024-06-30 22:15

Mathlib/Topology/Algebra/ConstMulAction.lean

chore(Topology): remove all but one use of autoImplicit (#14298) …

Modified isClosed_setOf_map_smul View on Github →

2023-04-04 14:45

Mathlib/Topology/Algebra/ConstMulAction.lean

feat: port Topology.Algebra.Module.Basic (#2983)

Added isClosed_setOf_map_smul View on Github →