mathlib

5625ec02 - refactor(algebra/module/linear_map): Put linear equivalences in their own file (#9301)

refactor(algebra/module/linear_map): Put linear equivalences in their own file (#9301) This is consistent with how we have ring homs and ring equivs in separate files. By having each of these files smaller than the original, we can split `linear_algebra/basic` more effectively between them.