Update lun. 18 déc. 2023 17:25:34 EST

Changes

4 changed files (+8/-2)

• .github/pull_request_template.md (new)
  • @@ -0,0 +1,5 @@
    + WARNING: + There is no point in opening a pull-request in this repository. + + This is not the relevant repository to contribute to Mathematics in Lean. This repository is cloned by people who want to study the book. It is automatically created from the source repository which can be found at https://github.com/avigad/mathematics_in_lean_source and where you can open a pull-request. +
• .vscode/settings.json
  • @@ -19,7 +19,8 @@
    "MIL.lean": true, "README.md":true, ".lake": true, - ".devcontainer": true + ".devcontainer": true, + ".github": true }, "editor.minimap.enabled": false, "editor.acceptSuggestionOnEnter": "off",
• html/C02_Basics.html
  • @@ -425,7 +425,7 @@ but also for proving things about abstract structures,
    characterized axiomatically, like rings. Moreover, Lean supports <em>generic reasoning</em> about both abstract and concrete structures, - and can be trained to recognized appropriate instances. + and can be trained to recognize appropriate instances. So any theorem about rings can be applied to concrete rings like the integers, <code class="docutils literal notranslate"><span class="pre">&#8484;</span></code>, the rational numbers, <code class="docutils literal notranslate"><span class="pre">&#8474;</span></code>, and the complex numbers <code class="docutils literal notranslate"><span class="pre">&#8450;</span></code>.
• mathematics_in_lean.pdf