diff --git a/MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst b/MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst index fbad572a..d442010f 100644 --- a/MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst +++ b/MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst @@ -1,5 +1,6 @@ .. _linear_algebra: -Linear algebra -============== +.. Linear algebra +線形代数 +============== diff --git a/README.md b/README.md index c0195af0..87ebe698 100644 --- a/README.md +++ b/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) |