Theorem Real.circleAverage_zero

Modification history