[Merged by Bors] - feat(LinearAlgebra/BilinearForm/TensorProduct): base change of bilinear forms#6306

eric-wieser wants to merge 47 commits into

masterleanprover-community/mathlib4:masterfrom

eric-wieser/BilinForm.baseChangeleanprover-community/mathlib4:eric-wieser/BilinForm.baseChangeCopy head branch name to clipboard