mathlib

0b098585 - feat(linear_algebra/basic): add a unique instance for linear_equiv (#7816)