doc(MeasureTheory/Constructions/Polish): fix typo (#7571)

leanprover-community · Oct 8, 2023 · 60e96a1 · 60e96a1
1 parent 8cdd933
commit 60e96a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/MeasureTheory/Constructions/Polish.lean b/Mathlib/MeasureTheory/Constructions/Polish.lean
@@ -17,7 +17,7 @@ structure on Polish spaces.
 
 ## Main definitions and results
 
-First, we define standard Borel apaces.
+First, we define standard Borel spaces.
 
 * A `StandardBorelSpace α` is a typeclass for measurable spaces which arise as the Borel sets
   of some Polish topology.