From 041b63e8072de7859b6f9cc48cec0f82bd5d7f3d Mon Sep 17 00:00:00 2001 From: adomani Date: Fri, 10 May 2024 21:34:17 +0200 Subject: [PATCH] chore: two cdots to cdots --- Mathlib/Algebra/DualNumber.lean | 2 +- Mathlib/Data/Complex/Basic.lean | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Mathlib/Algebra/DualNumber.lean b/Mathlib/Algebra/DualNumber.lean index 8bfca07082dc4..9dac7722c7e18 100644 --- a/Mathlib/Algebra/DualNumber.lean +++ b/Mathlib/Algebra/DualNumber.lean @@ -192,7 +192,7 @@ theorem lift_inlAlgHom_eps : /-- Show DualNumber with values x and y as an "x + y*ε" string -/ instance instRepr [Repr R] : Repr (DualNumber R) where reprPrec f p := - (if p > 65 then (Std.Format.bracket "(" . ")") else (·)) <| + (if p > 65 then (Std.Format.bracket "(" · ")") else (·)) <| reprPrec f.fst 65 ++ " + " ++ reprPrec f.snd 70 ++ "*ε" end DualNumber diff --git a/Mathlib/Data/Complex/Basic.lean b/Mathlib/Data/Complex/Basic.lean index 6a51b7b03f59b..70700ff4b4f9b 100644 --- a/Mathlib/Data/Complex/Basic.lean +++ b/Mathlib/Data/Complex/Basic.lean @@ -951,7 +951,7 @@ numbers are represented. -/ unsafe instance instRepr : Repr ℂ where reprPrec f p := - (if p > 65 then (Std.Format.bracket "(" . ")") else (·)) <| + (if p > 65 then (Std.Format.bracket "(" · ")") else (·)) <| reprPrec f.re 65 ++ " + " ++ reprPrec f.im 70 ++ "*I" end Complex