For example, here’s a paper with detailed proofs on various properties of the Riemann integral. I don’t have time at the moment to go through it, but I suspect there’s little or nothing that wouldn’t also apply to polar calculus.
https://www.math.ucdavis.edu/~hunter/intro_analysis_pdf/ch11.pdf