trying to revert unwanted commits

leanprover-community · Aug 18, 2023 · 268a8e2 · 268a8e2
1 parent 3febb8c
commit 268a8e2
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 328 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -1146,8 +1146,6 @@ import Mathlib.CategoryTheory.Products.Bifunctor
 import Mathlib.CategoryTheory.Quotient
 import Mathlib.CategoryTheory.Shift.Basic
 import Mathlib.CategoryTheory.Shift.CommShift
-import Mathlib.CategoryTheory.Shift.Induced
-import Mathlib.CategoryTheory.Shift.Quotient
 import Mathlib.CategoryTheory.Sigma.Basic
 import Mathlib.CategoryTheory.Simple
 import Mathlib.CategoryTheory.SingleObj

diff --git a/Mathlib/CategoryTheory/Shift/Induced.lean b/Mathlib/CategoryTheory/Shift/Induced.lean
diff --git a/Mathlib/CategoryTheory/Shift/Quotient.lean b/Mathlib/CategoryTheory/Shift/Quotient.lean