search

Lean-zh / math-in-lean-zh

The user home repository for the Mathematics in Lean tutorial.
http://www.leanprover.cn/math-in-lean-zh/
6 stars 4 forks source link

9. Linear algebra #9

Open subfish-zhou opened 1 month ago

subfish-zhou commented 1 month ago
hmyuuu commented 1 month ago

认领翻译

JosephLeeeeeee commented 1 month ago

认领校对