chore(topology/algebra): rename file to match renamed lemmas (#11996)

#11940 renamed the lemmas from `continuous_smul₂` to `continuous_const_smul`, so this renames the file from `mul_action2` to `const_mul_action` accordingly.
leanprover-community · Feb 12, 2022 · 4b217ea · 4b217ea
1 parent 4a4a3a9
commit 4b217ea
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/topology/algebra/mul_action2.lean → src/topology/algebra/const_mul_action.lean b/src/topology/algebra/mul_action2.lean → src/topology/algebra/const_mul_action.lean
diff --git a/src/topology/algebra/mul_action.lean b/src/topology/algebra/mul_action.lean
@@ -7,7 +7,7 @@ import topology.algebra.monoid
 import group_theory.group_action.prod
 import group_theory.group_action.basic
 import topology.homeomorph
-import topology.algebra.mul_action2
+import topology.algebra.const_mul_action
 
 /-!
 # Continuous monoid action