翻訳実施 (#72)

Author: s-taiga

MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst

@@ -1,5 +1,6 @@
 .. _linear_algebra:
 
-Linear algebra
-==============
+.. Linear algebra
 
+線形代数
+==============

README.md

@@ -115,28 +115,28 @@
 | S03_Endomorphisms.lean | [s-taiga](https://github.com/s-taiga) |
 | S04_Bases.lean | [s-taiga](https://github.com/s-taiga) |
 
-* C09_Topology
+* C10_Topology
 
 | 章名 | 担当 |
 | --- | --- |
-| C09_Topology.rst | [s-taiga](https://github.com/s-taiga) |
+| C10_Topology.rst | [s-taiga](https://github.com/s-taiga) |
 | S01_Filters.lean | [s-taiga](https://github.com/s-taiga)  |
 | S02_Metric_Spaces.lean | [s-taiga](https://github.com/s-taiga)  |
 | S03_Topological_Spaces.lean | [s-taiga](https://github.com/s-taiga)  |
 
-* C10_Differential_Calculus
+* C11_Differential_Calculus
 
 | 章名 | 担当 |
 | --- | --- |
-| C10_Differential_Calculus.rst | [s-taiga](https://github.com/s-taiga) |
+| C11_Differential_Calculus.rst | [s-taiga](https://github.com/s-taiga) |
 | S01_Elementary_Differential_Calculus.lean | [s-taiga](https://github.com/s-taiga) |
 | S02_Differential_Calculus_in_Normed_Spaces.lean | [s-taiga](https://github.com/s-taiga) |
 
-* C11_Integration_and_Measure_Theory
+* C12_Integration_and_Measure_Theory
 
 | 章名 | 担当 |
 | --- | --- |
-| C11_Integration_and_Measure_Theory.rst | [s-taiga](https://github.com/s-taiga) |
+| C12_Integration_and_Measure_Theory.rst | [s-taiga](https://github.com/s-taiga) |
 | S01_Elementary_Integration.lean | [s-taiga](https://github.com/s-taiga) |
 | S02_Measure_Theory.lean | [s-taiga](https://github.com/s-taiga) |
 | S03_Integration.lean | [s-taiga](https://github.com/s-taiga) |