docs(Algebra/Algebra/Basic): get the type right (#10055)

leanprover-community · Jan 29, 2024 · f5a69ea · f5a69ea
1 parent 995b1af
commit f5a69ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Algebra/Algebra/Basic.lean b/Mathlib/Algebra/Algebra/Basic.lean
@@ -420,7 +420,7 @@ end
 
 variable (R A)
 
-/-- The canonical ring homomorphism `algebraMap R A : R →* A` for any `R`-algebra `A`,
+/-- The canonical ring homomorphism `algebraMap R A : R →+* A` for any `R`-algebra `A`,
 packaged as an `R`-linear map.
 -/
 protected def linearMap : R →ₗ[R] A :=