diff --git a/README.md b/README.md index 2537da99..c0195af0 100644 --- a/README.md +++ b/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 | 章名 | 担当 | diff --git a/scripts/mkdoc.py b/scripts/mkdoc.py index 70ebb278..a5c607ff 100755 --- a/scripts/mkdoc.py +++ b/scripts/mkdoc.py @@ -101,7 +101,7 @@ def make_lean_user_main_import_file(): バージョン情報 -------------- -この翻訳は原文のcommit `dd607c678b229e26cd6c8dbe43e56f5455b39210 `_ に基づいています. +この翻訳は原文のcommit `e3d23850cb3cea5016f98d5ca25160b9a74727b9 `_ に基づいています. """