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.
refactor(MeasureTheory/Integral): split FundThmCalculus and fix late import (#22788) Integration by parts and integration by substitution are moved to a new file.