style: remove unnecessary <| (#5721)

leanprover-community · Jul 5, 2023 · 4d11748 · 4d11748
1 parent abd65d5
commit 4d11748
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/GroupTheory/Congruence.lean b/Mathlib/GroupTheory/Congruence.lean
@@ -257,7 +257,7 @@ variable (c)
 @[to_additive "Defining the quotient by an additive congruence relation of a type with
 an addition."]
 protected def Quotient :=
-  Quotient <| c.toSetoid
+  Quotient c.toSetoid
 #align con.quotient Con.Quotient
 #align add_con.quotient AddCon.Quotient