ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P2483 on R3535: Riemann integral of unit semicircle

P2483

This result is a particular case of R3227: Riemann integral of semicircle. $\square$