What's where?

What's where in MathComp-Analysis?

Hand-made index of links to the main results in MathComp-Analysis (not necessarily their most recent version):

A

• Alexandroff-Hausdorff theorem (1.4.0)
• Arzela-Ascoli's theorem (1.4.0)

B

• Baire's theorem (1.4.0)
• Banach-Steinhaus theorem (1.4.0)
• Bachmann-Landau notations (0.6.5)
• Bernoulli probability measure (1.2.0)
• Borel-Cantelli lemma (1.3.0)

C

• Cantelli's inequality (0.6.5)
• Cantor-Bernstein theorem (0.6.6)
• Cantor space (0.6.7)
• Caratheodory's measure extension theorem (0.6.5)
• Chebyshev's inequality (0.6.5)
• Chernoff bound (0.6.6)

D

• Dynkin system (1.2.0)
• Dominated convergence theorem (1.4.0)

E

• Egorov's theorem (1.3.1)
• Extreme value theorem (1.4.0)

F

• Fatou's lemma (0.6.5)
• First Fundamental Theorem of Calculus for the Lebesgue Integral (1.1.0)
• First Fundamental Theorem of Calculus for the Lebesgue Integral corollary (1.5.0)
• Fubini-Tonelli (0.6.5)
• Fubini's theorem (0.6.5)

H

• Hahn decomposition theorem (0.6.5)
• Hardy-Littlewood maximal inequality (1.3.1)
• Hausdorff maximal principle (1.3.0)
• Hausdorff space (0.6.5)
• Hoelder's inequality (1.4.0)

I

• Integration by parts (1.5.0)
• Integration by substitution (1.5.0)

K

• Kolmogorov space (1.5.0)

L

• Lambda system (1.2.0)
• Lebesgue's density theorem (1.3.1)
• Lebesgue Differentiation theorem (1.3.1)
• Lebesgue integral (0.6.5)
• Lebesgue measure (0.6.5)
• Lebesgue-Stieltjes measure (0.6.6)
• Lusin's theorem (1.3.0)

M

• Markov's inequality (1.4.0)
• Mean Value Theorem (1.3.1)
• Minkowski's inequality (1.3.1)
• Monotone convergence theorem (0.6.5)

R

• Radon-Nikodym's theorem (0.6.5)
• Rolle's theorem (1.3.1)

T

• Tietze's extension theorem (1.3.1)
• Tychonoff's theorem (1.3.1)

U

• Urysohn's lemma (1.3.1)

V

• Vitali's covering lemma finite case (1.3.1)
• Vitali's covering lemma infinite case (1.3.1)
• Vitali's covering theorem (1.3.1)
• Vitali's covering theorem corollary (1.5.0)

W

• Well-ordering principle (1.3.0)

Z

• Zorn's lemma (1.3.0)