automated fixes

Mathbin -> Mathlib fix certain import statements move "by" to end of line add import to Mathlib.lean
leanprover-community · Feb 25, 2023 · f1c2148 · f1c2148
1 parent 8fcb216
commit f1c2148
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 221 deletions.
diff --git a/Mathlib/CategoryTheory/Category/ULift.lean b/Mathlib/CategoryTheory/Category/ULift.lean
diff --git a/Mathlib/CategoryTheory/Category/Ulift.lean → ULift.lean b/Mathlib/CategoryTheory/Category/Ulift.lean → ULift.lean