From 60d59f59a2873db724e875f2b567222fdf3826dc Mon Sep 17 00:00:00 2001 From: Jeremy Avigad Date: Sun, 22 Oct 2023 14:59:49 -0400 Subject: [PATCH] Update Sun 22 Oct 2023 02:59:49 PM EDT --- .buildinfo | 2 +- C01_Introduction.html | 29 +- C02_Basics.html | 51 +- C03_Logic.html | 57 +- C04_Sets_and_Functions.html | 35 +- C05_Elementary_Number_Theory.html | 73 +- C06_Structures.html | 37 +- C07_Hierarchies.html | 39 +- C08_Groups_and_Rings.html | 1139 +++++++++++++++++ C08_Topology.html => C09_Topology.html | 129 +- ...lus.html => C10_Differential_Calculus.html | 83 +- ...=> C11_Integration_and_Measure_Theory.html | 51 +- _sources/C08_Groups_and_Rings.rst.txt | 22 + ..._Topology.rst.txt => C09_Topology.rst.txt} | 6 +- ....txt => C10_Differential_Calculus.rst.txt} | 4 +- ...C10_Integration_and_Measure_Theory.rst.txt | 10 - ...C11_Integration_and_Measure_Theory.rst.txt | 10 + _sources/index.rst.txt | 7 +- .../_sphinx_javascript_frameworks_compat.js | 134 ++ _static/basic.css | 40 +- _static/doctools.js | 450 +++---- _static/documentation_options.js | 6 +- _static/{jquery-3.5.1.js => jquery-3.6.0.js} | 227 ++-- _static/jquery.js | 4 +- _static/language_data.js | 100 +- _static/searchtools.js | 788 ++++++------ genindex.html | 46 +- index.html | 44 +- mathematics_in_lean.pdf | Bin 882359 -> 977586 bytes objects.inv | Bin 1333 -> 1417 bytes search.html | 8 +- searchindex.js | 2 +- 32 files changed, 2428 insertions(+), 1205 deletions(-) create mode 100644 C08_Groups_and_Rings.html rename C08_Topology.html => C09_Topology.html (98%) rename C09_Differential_Calculus.html => C10_Differential_Calculus.html (95%) rename C10_Integration_and_Measure_Theory.html => C11_Integration_and_Measure_Theory.html (96%) create mode 100644 _sources/C08_Groups_and_Rings.rst.txt rename _sources/{C08_Topology.rst.txt => C09_Topology.rst.txt} (96%) rename _sources/{C09_Differential_Calculus.rst.txt => C10_Differential_Calculus.rst.txt} (82%) delete mode 100644 _sources/C10_Integration_and_Measure_Theory.rst.txt create mode 100644 _sources/C11_Integration_and_Measure_Theory.rst.txt create mode 100644 _static/_sphinx_javascript_frameworks_compat.js rename _static/{jquery-3.5.1.js => jquery-3.6.0.js} (98%) diff --git a/.buildinfo b/.buildinfo index d1d64cb6..7a6f75aa 100644 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: 803b947a09f3db5a52c6c529e3761a53 +config: 9821478498fa33697c987b601aae688f tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/C01_Introduction.html b/C01_Introduction.html index 9d86280c..6a393cbb 100644 --- a/C01_Introduction.html +++ b/C01_Introduction.html @@ -1,7 +1,8 @@ - + + 1. Introduction — Mathematics in Lean 0.1 documentation @@ -15,6 +16,7 @@ + @@ -50,9 +52,10 @@
  • 5. Elementary Number Theory
  • 6. Structures
  • 7. Hierarchies
    • -
  • 8. Topology
    • -
  • 9. Differential Calculus
    • -
  • 10. Integration and Measure Theory
    • +
  • 8. Groups and Rings
    • +
  • 9. Topology
    • +
  • 10. Differential Calculus
    • +
  • 11. Integration and Measure Theory
  • 7. Hierarchies
    • -
  • 8. Topology
    • -
  • 9. Differential Calculus
    • -
  • 10. Integration and Measure Theory
    • +
  • 8. Groups and Rings
    • +
  • 9. Topology
    • +
  • 10. Differential Calculus
    • +
  • 11. Integration and Measure Theory
    • -
  • 8. Topology
    • -
  • 9. Differential Calculus
    • -
  • 10. Integration and Measure Theory
    • +
  • 8. Groups and Rings
    • +
  • 9. Topology
    • +
  • 10. Differential Calculus
    • +
  • 11. Integration and Measure Theory