diff --git a/Mathlib/Algebra/Ring/CentroidHom.lean b/Mathlib/Algebra/Ring/CentroidHom.lean index aa0b30bf7df77..f79043168b452 100644 --- a/Mathlib/Algebra/Ring/CentroidHom.lean +++ b/Mathlib/Algebra/Ring/CentroidHom.lean @@ -9,7 +9,6 @@ import Mathlib.Algebra.Star.Basic import Mathlib.GroupTheory.GroupAction.Ring import Mathlib.RingTheory.NonUnitalSubsemiring.Basic import Mathlib.Algebra.Ring.Subsemiring.Basic -import Mathlib.Algebra.Star.NonUnitalSubalgebra #align_import algebra.hom.centroid from "leanprover-community/mathlib"@"6cb77a8eaff0ddd100e87b1591c6d3ad319514ff"