mathlib3

c12acedd - feat(algebra/star): star_linear_equiv (#9426)

feat(algebra/star): star_linear_equiv (#9426) Co-authored-by: Frédéric Dupuis <dupuisf@iro.umontreal.ca> Co-authored-by: Frédéric Dupuis <31101893+dupuisf@users.noreply.github.com>