Commit 2025-03-10 16:50 4d34d06e

View on Github →

refactor(MeasureTheory/Integral): split FundThmCalculus and fix late import (#22788) Integration by parts and integration by substitution are moved to a new file.

Estimated changes