Update theories/cantor.v

Co-authored-by: affeldt-aist <[email protected]>
math-comp · Sep 1, 2023 · 3b235c9 · 3b235c9
1 parent 9891f29
commit 3b235c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/cantor.v b/theories/cantor.v
@@ -35,7 +35,7 @@ Definition cantor_like (T : topologicalType) :=
       hausdorff_space T &
       zero_dimensional T].
 
-Canonical cantor_psuedoMetric {R} :=
+Canonical cantor_pseudoMetric {R} :=
   @product_pseudoMetricType R _ (fun (_ : nat) =>
     @discrete_pseudoMetricType R _ discrete_bool) (countableP _).