## List of Lean modules for linear algebra - https://leanprover-community.github.io/lean3/theories/linear_algebra.html - New: https://leanprover-community.github.io/theories/linear_algebra.html - algebra.module - data.matrix.basic - algebra.module.linear_map - linear_algebra.bilinear_form -