14. 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.
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.