ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2119 on D1760: Riemann integrable real function
Continuous function on closed interval is Riemann integrable