15. Linear algebra🔗

This chapter explains how to express common concepts in linear algebra using the definitions in Mathlib. We assume basic knowledge of both Lean and linear algebra.

1. 15.1. Modules and vector spaces