Update theories/cantor.v

Co-authored-by: affeldt-aist <[email protected]>
math-comp · Jun 29, 2023 · 5800b55 · 5800b55
1 parent 248846f
commit 5800b55
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 _).