fix: docstring typo (#1113)

Presumably a regex error.
leanprover-community · Dec 20, 2022 · 53cea70 · 53cea70
1 parent c1efed9
commit 53cea70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Order/CompleteLattice.lean b/Mathlib/Order/CompleteLattice.lean
@@ -78,7 +78,7 @@ add_decl_doc SupSet.supₛ
 /-- Infimum of a set -/
 add_decl_doc InfSet.infₛ
 
-/-- Indexed supᵢemum -/
+/-- Indexed supremum -/
 def supᵢ [SupSet α] {ι} (s : ι → α) : α :=
   supₛ (range s)
 #align supr supᵢ