Theorem Real.circleAverage_sum

Modification history