Connects the derivative and the definite integral; evaluation of integrals via antiderivatives.
Created: December 16, 2025