fix import

leanprover-community · Jul 3, 2024 · 3fc2bc5 · 3fc2bc5
1 parent 9704e04
commit 3fc2bc5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/GroupTheory/GroupAction/Blocks.lean b/Mathlib/GroupTheory/GroupAction/Blocks.lean
@@ -11,7 +11,7 @@ import Mathlib.Data.Setoid.Partition
 import Mathlib.GroupTheory.GroupAction.Basic
 import Mathlib.GroupTheory.GroupAction.Pointwise
 import Mathlib.GroupTheory.GroupAction.SubMulAction
--- import Mathlib.GroupTheory.Subgroup.Actions
+import Mathlib.Algebra.Group.Subgroup.Actions
 
 /-! # Blocks