Theorem Real.circleAverage_smul

Modification history