What's where?

What's where in MathComp-Analysis?

Hand made index of links to the most recent versions (as of 2023-11-08) of the main results in MathComp-Analysis:

A

• Arzela-Ascoli's theorem (0.6.5)

B

• Bachmann-Landau notations (0.6.5)
• Bernoulli probability measure (PR)

C

• Cantelli's inequality (0.6.5)
• Caratheodory's measure extension theorem (0.6.5)
• Chebyshev's inequality (0.6.5)
• Chernoff bound (PR)

D

• Dynkin system (0.6.5)
• Dominated convergence theorem (0.6.5)

E

• Egorov's theorem (0.6.5)

F

• Fatou's lemma (0.6.5)
• Fubini-Tonelli (0.6.5)
• Fubini's theorem (0.6.5)

H

• Hahn decomposition theorem (0.6.5)
• Hardy-Littlewood maximal inequality (PR)
• Hausdorff space (0.6.5)
• Hoelder's inequality (0.6.5)

K

• Kolmogorov space (0.6.5)

L

• Lebesgue's density theorem (PR)
• Lebesgue Differentiation theorem (PR)
• Lebesgue integral (0.6.5)
• Lebesgue measure (0.6.5)
• Lebesgue-Stieltjes measure (master)
• Lusin's theorem (0.6.5)

M

• Markov's inequality (0.6.5)
• Minkowski's inequality (PR)
• Monotone convergence theorem (0.6.5)

R

• Radon-Nikodym's theorem (0.6.5)

T

• Tietze's extension theorem (0.6.5)

U

• Urysohn's lemma (0.6.5)

V

• Vitali's covering lemma finite case (PR)
• Vitali's covering lemma infinite case (PR)
• Vitali's covering theorem (PR)

Z

• Zorn's lemma (0.6.5)