Theorem Real.circleAverage_eq_intervalAverage

Modification history