Code

Fix a few typos in chapter 9#242

Code

Merged

PatrickMassot merged 1 commit intoavigad:masteravigad/mathematics_in_lean_source:masterfrom pitmonticone:fix-typos-linear-algebrapitmonticone/mathematics_in_lean_source:fix-typos-linear-algebraCopy head branch name to clipboardSep 27, 2024

+9-11

Commits

Commits on Sep 27, 2024

• Fix a few typos in chapter 9

  pitmonticone

  committed
  0c74670

  Copy full SHA for 0c74670