Mean value theorem for definite integrals theorem

Definite Integral in the point definition

Definite integral on inverse interval theorem

Area function definition

Continuity of area function theorem

Fundamental theorem of Calculus (Part 1) theorem

Fundamental theorem of Calculus (Part 2) aka Newton-Leibniz theorem theorem