mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
.. _linear_algebra:

Linear algebra
==============


.. include:: C09_Linear_Algebra/S01_Vector_Spaces.inc
.. include:: C09_Linear_Algebra/S02_Subspaces.inc
.. include:: C09_Linear_Algebra/S03_Endomorphisms.inc
.. include:: C09_Linear_Algebra/S04_Bases.inc