cavalieri_principle_continuous_function
continuous_bounded_function_has_bounded_area
fundamental_theorem_of_calculus_1
fundamental_theorem_of_calculus_2_001
fundamental_theorem_of_calculus_2_002
fundamental_theorem_of_calculus_2_003
integral_of_continuous_function
left_sum_of_continuous_function
lower_sum_of_continuous_function
mean_value_theorem_for_integrals