fix capitalisation in BoolAlg

YaelDillies · Nov 4, 2023 · 6273aac · 6273aac
1 parent c30b51b
commit 6273aac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/LeanCamCombi/Mathlib/Order/Category/BoolAlg.lean b/LeanCamCombi/Mathlib/Order/Category/BoolAlg.lean
@@ -5,7 +5,7 @@ open CategoryTheory OrderDual Opposite Set
 
 universe u
 
-/-- The powerset functor. `set` as a functor. -/
+/-- The powerset functor. `Set` as a contravariant functor. -/
 def typeToBoolAlgOp : Type u ⥤ BoolAlgᵒᵖ where
   obj X := op $ BoolAlg.of (Set X)
   map {X Y} f := Quiver.Hom.op