We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2c1503f commit 0ad3ebfCopy full SHA for 0ad3ebf
1 file changed
Mathlib/Algebra/Category/FGModuleCat/Basic.lean
@@ -33,7 +33,7 @@ and then as a right-rigid monoidal category.
33
34
noncomputable section
35
36
-open CategoryTheory ModuleCat.MonoidalCategory
+open CategoryTheory
37
38
universe u
39
0 commit comments