mathlib

9485a857 - fix(linear_algebra/basic): make R explicit in linear_equiv.refl (#2161)

fix(linear_algebra/basic): make R explicit in linear_equiv.refl (#2161) * fix(linear_algebra/basic): make R explicit in linear_equiv.refl * getting mathlib to compile again * better variablism Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>