Theorem Real.circleAverage_eq_integral_add

Modification history