Trigger CI for leanprover/lean4#3176

leanprover-community · Jan 13, 2024 · 0939bdf · 0939bdf
2 parents 3f6bee6 + c28a1c9
commit 0939bdf
Show file tree

Hide file tree

Showing 31 changed files with 583 additions and 490 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -1,4 +1,3 @@
-import Mathlib.Algebra.Abs
 import Mathlib.Algebra.AddTorsor
 import Mathlib.Algebra.Algebra.Basic
 import Mathlib.Algebra.Algebra.Bilinear
@@ -1287,6 +1286,7 @@ import Mathlib.CategoryTheory.Sites.CoversTop
 import Mathlib.CategoryTheory.Sites.DenseSubsite
 import Mathlib.CategoryTheory.Sites.EffectiveEpimorphic
 import Mathlib.CategoryTheory.Sites.EqualizerSheafCondition
+import Mathlib.CategoryTheory.Sites.Equivalence
 import Mathlib.CategoryTheory.Sites.Grothendieck
 import Mathlib.CategoryTheory.Sites.InducedTopology
 import Mathlib.CategoryTheory.Sites.IsSheafFor

diff --git a/Mathlib/Algebra/Abs.lean b/Mathlib/Algebra/Abs.lean