変更内容取り込み (#71)

* 差分取り込み

* 翻訳範囲追記

Author: s-taiga

README.md

@@ -105,6 +105,16 @@
 | S01_Groups.lean | [s-taiga](https://github.com/s-taiga) |
 | S02_Rings.lean | [s-taiga](https://github.com/s-taiga) |
 
+* C09_Linear_Algebra
+
+| 章名 | 担当 |
+| --- | --- |
+| C09_Linear_Algebra.rst | [s-taiga](https://github.com/s-taiga) |
+| S01_Vector_Spaces.lean | [s-taiga](https://github.com/s-taiga) |
+| S02_Subspaces.lean | [s-taiga](https://github.com/s-taiga) |
+| S03_Endomorphisms.lean | [s-taiga](https://github.com/s-taiga) |
+| S04_Bases.lean | [s-taiga](https://github.com/s-taiga) |
+
 * C09_Topology
 
 | 章名 | 担当 |

scripts/mkdoc.py

@@ -101,7 +101,7 @@ def make_lean_user_main_import_file():
 バージョン情報
 --------------
 
-この翻訳は原文のcommit `dd607c678b229e26cd6c8dbe43e56f5455b39210 <https://github.com/lean-ja/mathematics_in_lean_source/commit/dd607c678b229e26cd6c8dbe43e56f5455b39210>`_ に基づいています．
+この翻訳は原文のcommit `e3d23850cb3cea5016f98d5ca25160b9a74727b9 <https://github.com/lean-ja/mathematics_in_lean_source/commit/e3d23850cb3cea5016f98d5ca25160b9a74727b9>`_ に基づいています．
 
 """