
Integration
Standard antiderivatives, substitution, integration by parts with the ILATE order, definite-integral properties (reversal, splitting, the a + b - x rule, odd and even integrands, periodicity), the fundamental theorem and Leibniz rule, Wallis and gamma integrals, improper integrals with the p-test and the trap of integrating across a singularity, and areas and averages, with every value computed in sympy.