Update lun. 10 juil. 2023 10:49:36 CEST

Changes

3 changed files (+66/-66)

• MIL.lean
  • @@ -1,33 +1,33 @@
    - import MIL.C01_Introduction.Source_S01_Getting_Started - import MIL.C01_Introduction.Source_S02_Overview - import MIL.C02_Basics.Source_S01_Calculating - import MIL.C02_Basics.Source_S02_Proving_Identities_in_Algebraic_Structures - import MIL.C02_Basics.Source_S03_Using_Theorems_and_Lemmas - import MIL.C02_Basics.Source_S04_More_on_Order_and_Divisibility - import MIL.C02_Basics.Source_S05_Proving_Facts_about_Algebraic_Structures - import MIL.C03_Logic.Source_S01_Implication_and_the_Universal_Quantifier - import MIL.C03_Logic.Source_S02_The_Existential_Quantifier - import MIL.C03_Logic.Source_S03_Negation - import MIL.C03_Logic.«Source_S04_Conjunction_and_Bi-implication» - import MIL.C03_Logic.Source_S05_Disjunction - import MIL.C03_Logic.Source_S06_Sequences_and_Convergence - import MIL.C04_Sets_and_Functions.Source_S01_Sets - import MIL.C04_Sets_and_Functions.Source_S02_Functions - import MIL.C04_Sets_and_Functions.Source_S03_The_Schroeder_Bernstein_Theorem - import MIL.C05_Elementary_Number_Theory.Source_S01_Irrational_Roots - import MIL.C05_Elementary_Number_Theory.Source_S02_Induction_and_Recursion - import MIL.C05_Elementary_Number_Theory.Source_S03_Infinitely_Many_Primes - import MIL.C06_Structures.Source_S01_Structures - import MIL.C06_Structures.Source_S02_Algebraic_Structures - import MIL.C06_Structures.Source_S03_Building_the_Gaussian_Integers - import MIL.C07_Hierarchies.Source_S01_Basics - import MIL.C07_Hierarchies.Source_S02_Morphisms - import MIL.C07_Hierarchies.Source_S03_Subobjects - import MIL.C08_Topology.Source_S01_Filters - import MIL.C08_Topology.Source_S02_Metric_Spaces - import MIL.C08_Topology.Source_S03_Topological_Spaces - import MIL.C09_Differential_Calculus.Source_S01_Elementary_Differential_Calculus - import MIL.C09_Differential_Calculus.Source_S02_Differential_Calculus_in_Normed_Spaces - import MIL.C10_Integration_and_Measure_Theory.Source_S01_Elementary_Integration - import MIL.C10_Integration_and_Measure_Theory.Source_S02_Measure_Theory - import MIL.C10_Integration_and_Measure_Theory.Source_S03_Integration + import MIL.C01_Introduction.S01_Getting_Started + import MIL.C01_Introduction.S02_Overview + import MIL.C02_Basics.S01_Calculating + import MIL.C02_Basics.S02_Proving_Identities_in_Algebraic_Structures + import MIL.C02_Basics.S03_Using_Theorems_and_Lemmas + import MIL.C02_Basics.S04_More_on_Order_and_Divisibility + import MIL.C02_Basics.S05_Proving_Facts_about_Algebraic_Structures + import MIL.C03_Logic.S01_Implication_and_the_Universal_Quantifier + import MIL.C03_Logic.S02_The_Existential_Quantifier + import MIL.C03_Logic.S03_Negation + import MIL.C03_Logic.«S04_Conjunction_and_Bi-implication» + import MIL.C03_Logic.S05_Disjunction + import MIL.C03_Logic.S06_Sequences_and_Convergence + import MIL.C04_Sets_and_Functions.S01_Sets + import MIL.C04_Sets_and_Functions.S02_Functions + import MIL.C04_Sets_and_Functions.S03_The_Schroeder_Bernstein_Theorem + import MIL.C05_Elementary_Number_Theory.S01_Irrational_Roots + import MIL.C05_Elementary_Number_Theory.S02_Induction_and_Recursion + import MIL.C05_Elementary_Number_Theory.S03_Infinitely_Many_Primes + import MIL.C06_Structures.S01_Structures + import MIL.C06_Structures.S02_Algebraic_Structures + import MIL.C06_Structures.S03_Building_the_Gaussian_Integers + import MIL.C07_Hierarchies.S01_Basics + import MIL.C07_Hierarchies.S02_Morphisms + import MIL.C07_Hierarchies.S03_Subobjects + import MIL.C08_Topology.S01_Filters + import MIL.C08_Topology.S02_Metric_Spaces + import MIL.C08_Topology.S03_Topological_Spaces + import MIL.C09_Differential_Calculus.S01_Elementary_Differential_Calculus + import MIL.C09_Differential_Calculus.S02_Differential_Calculus_in_Normed_Spaces + import MIL.C10_Integration_and_Measure_Theory.S01_Elementary_Integration + import MIL.C10_Integration_and_Measure_Theory.S02_Measure_Theory + import MIL.C10_Integration_and_Measure_Theory.S03_Integration
• MIL/MIL.lean
  • @@ -1,33 +1,33 @@
    - import MIL.C01_Introduction.Source_S01_Getting_Started - import MIL.C01_Introduction.Source_S02_Overview - import MIL.C02_Basics.Source_S01_Calculating - import MIL.C02_Basics.Source_S02_Proving_Identities_in_Algebraic_Structures - import MIL.C02_Basics.Source_S03_Using_Theorems_and_Lemmas - import MIL.C02_Basics.Source_S04_More_on_Order_and_Divisibility - import MIL.C02_Basics.Source_S05_Proving_Facts_about_Algebraic_Structures - import MIL.C03_Logic.Source_S01_Implication_and_the_Universal_Quantifier - import MIL.C03_Logic.Source_S02_The_Existential_Quantifier - import MIL.C03_Logic.Source_S03_Negation - import MIL.C03_Logic.«Source_S04_Conjunction_and_Bi-implication» - import MIL.C03_Logic.Source_S05_Disjunction - import MIL.C03_Logic.Source_S06_Sequences_and_Convergence - import MIL.C04_Sets_and_Functions.Source_S01_Sets - import MIL.C04_Sets_and_Functions.Source_S02_Functions - import MIL.C04_Sets_and_Functions.Source_S03_The_Schroeder_Bernstein_Theorem - import MIL.C05_Elementary_Number_Theory.Source_S01_Irrational_Roots - import MIL.C05_Elementary_Number_Theory.Source_S02_Induction_and_Recursion - import MIL.C05_Elementary_Number_Theory.Source_S03_Infinitely_Many_Primes - import MIL.C06_Structures.Source_S01_Structures - import MIL.C06_Structures.Source_S02_Algebraic_Structures - import MIL.C06_Structures.Source_S03_Building_the_Gaussian_Integers - import MIL.C07_Hierarchies.Source_S01_Basics - import MIL.C07_Hierarchies.Source_S02_Morphisms - import MIL.C07_Hierarchies.Source_S03_Subobjects - import MIL.C08_Topology.Source_S01_Filters - import MIL.C08_Topology.Source_S02_Metric_Spaces - import MIL.C08_Topology.Source_S03_Topological_Spaces - import MIL.C09_Differential_Calculus.Source_S01_Elementary_Differential_Calculus - import MIL.C09_Differential_Calculus.Source_S02_Differential_Calculus_in_Normed_Spaces - import MIL.C10_Integration_and_Measure_Theory.Source_S01_Elementary_Integration - import MIL.C10_Integration_and_Measure_Theory.Source_S02_Measure_Theory - import MIL.C10_Integration_and_Measure_Theory.Source_S03_Integration + import MIL.C01_Introduction.S01_Getting_Started + import MIL.C01_Introduction.S02_Overview + import MIL.C02_Basics.S01_Calculating + import MIL.C02_Basics.S02_Proving_Identities_in_Algebraic_Structures + import MIL.C02_Basics.S03_Using_Theorems_and_Lemmas + import MIL.C02_Basics.S04_More_on_Order_and_Divisibility + import MIL.C02_Basics.S05_Proving_Facts_about_Algebraic_Structures + import MIL.C03_Logic.S01_Implication_and_the_Universal_Quantifier + import MIL.C03_Logic.S02_The_Existential_Quantifier + import MIL.C03_Logic.S03_Negation + import MIL.C03_Logic.«S04_Conjunction_and_Bi-implication» + import MIL.C03_Logic.S05_Disjunction + import MIL.C03_Logic.S06_Sequences_and_Convergence + import MIL.C04_Sets_and_Functions.S01_Sets + import MIL.C04_Sets_and_Functions.S02_Functions + import MIL.C04_Sets_and_Functions.S03_The_Schroeder_Bernstein_Theorem + import MIL.C05_Elementary_Number_Theory.S01_Irrational_Roots + import MIL.C05_Elementary_Number_Theory.S02_Induction_and_Recursion + import MIL.C05_Elementary_Number_Theory.S03_Infinitely_Many_Primes + import MIL.C06_Structures.S01_Structures + import MIL.C06_Structures.S02_Algebraic_Structures + import MIL.C06_Structures.S03_Building_the_Gaussian_Integers + import MIL.C07_Hierarchies.S01_Basics + import MIL.C07_Hierarchies.S02_Morphisms + import MIL.C07_Hierarchies.S03_Subobjects + import MIL.C08_Topology.S01_Filters + import MIL.C08_Topology.S02_Metric_Spaces + import MIL.C08_Topology.S03_Topological_Spaces + import MIL.C09_Differential_Calculus.S01_Elementary_Differential_Calculus + import MIL.C09_Differential_Calculus.S02_Differential_Calculus_in_Normed_Spaces + import MIL.C10_Integration_and_Measure_Theory.S01_Elementary_Integration + import MIL.C10_Integration_and_Measure_Theory.S02_Measure_Theory + import MIL.C10_Integration_and_Measure_Theory.S03_Integration
• mathematics_in_lean.pdf