mathlib

cc8e88c7 - docs(algebra/module/linear_map): Fix a copy/paste error (#18389)