From 21bfa926babe264e4ee81d5f17c7adc419724297 Mon Sep 17 00:00:00 2001 From: s-taiga Date: Thu, 24 Oct 2024 22:28:25 +0900 Subject: [PATCH] =?UTF-8?q?=E7=BF=BB=E8=A8=B3=E5=AE=9F=E6=96=BD?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- MIL/C09_Linear_Algebra/C09_Linear_Algebra.rst | 5 +++-- README.md | 12 ++++++------ 2 files changed, 9 insertions(+), 8 deletions(-) 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) |