shake+

leanprover-community · Oct 18, 2024 · 6cf3245 · 6cf3245
1 parent c3fa3b4
commit 6cf3245
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Mathlib/RingTheory/Regular/RegularSequence.lean b/Mathlib/RingTheory/Regular/RegularSequence.lean
@@ -5,6 +5,7 @@ Authors: Brendan Murphy
 -/
 import Mathlib.RingTheory.Regular.IsSMulRegular
 import Mathlib.RingTheory.Artinian
+import Mathlib.RingTheory.Nakayama
 import Mathlib.Logic.Equiv.TransferInstance
 import Mathlib.RingTheory.LocalRing.MaximalIdeal.Basic