gjm comments on Lessons I’ve Learned from Self-Teaching

[gjm]

I haven’t thought it through, but I suspect the theorems you want to prove about integrals are probably easier to prove with the definition TurnTrout gave than with that one.