Skip to content

Commit

Permalink
shake
Browse files Browse the repository at this point in the history
  • Loading branch information
@alreadydone
alreadydone authored Jan 5, 2025
1 parent 4a0e6a9 commit 1bf4b91
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Mathlib/RingTheory/AlgebraTower.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@ Released under Apache 2.0 license as described in the file LICENSE.
Authors: Kenny Lau
-/
import Mathlib.Algebra.Algebra.Tower
import Mathlib.Algebra.Module.BigOperators
import Mathlib.LinearAlgebra.Basis.Basic

/-!
Expand Down

0 comments on commit 1bf4b91

Please sign in to comment.