# Commit 2024-06-09 19:41 04c29e25

View on Github →chore: move basic linear equivalences to Mathlib.Algebra.Module.Equiv (#13662)
This means `Mathlib.Algebra.Module.Equiv`

is starting to get a little on the large side, but I don't have a great alternative.