mathlib

43d3dee0 - chore(linear_algebra): rename type variables (#1521)

chore(linear_algebra): rename type variables (#1521) * doc(linear_algebra/basis): add doc * doc(linear_algebra/basis): shorten docstrings * refactor(linear_algebra/basis): rename type vars * style(linear_algebra/basic): change variable names * chore(linear_algebra/dimension): rename type variables * remove commented code * style(linear_algebra/bilinear_form): change variable names * style(linear_algebra/direct_sum_module): change variable names * style(linear_algebra/matrix): change variable names * Rename variables in finsupp_vector_space.lean * style(linear_algebra/sesquilinear_form): change variable names * style(linear_algebra/tensor_product): change variable names * change kappas to bb k's * style(linear_algebra/finsupp): change variable names * change universe levels * change bb k to K