mathlib

18af6b57 - feat(algebra/module): `linear_equiv.refl.symm = refl` (#7493)

feat(algebra/module): `linear_equiv.refl.symm = refl` (#7493) To be part of the `bundled_basis` refactor Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>