doc(analysis/calculus/conformal): fix a docstring (#8479)

Fix a grammar mistake
leanprover-community · Jul 31, 2021 · 0a48016 · 0a48016
1 parent 6e400b9
commit 0a48016
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analysis/calculus/conformal.lean b/src/analysis/calculus/conformal.lean
@@ -32,7 +32,7 @@ conformal
 ## Warning
 
 The definition of conformality in this file does NOT require the maps to be orientation-preserving.
-Maps such as the complex conjugate is considered as a conformal map.
+Maps such as the complex conjugate are considered to be conformal.
 -/
 
 noncomputable theory