Skip to content

Commit

Permalink
Remove import
Browse files Browse the repository at this point in the history
  • Loading branch information
@mans0954
mans0954 committed May 8, 2024
1 parent 9168aba commit 5859d83
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Mathlib/Algebra/Ring/CentroidHom.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"

Expand Down

0 comments on commit 5859d83

Please sign in to comment.