We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c954b5c commit 1075ea8Copy full SHA for 1075ea8
Mathlib/CategoryTheory/Sites/Point/IsMonoidalW.lean
@@ -24,7 +24,7 @@ category structure on `Sheaf J A`.
24
25
@[expose] public section
26
27
-universe w w' v v' u u'
+universe w v v' u u'
28
29
namespace CategoryTheory
30
0 commit comments