Theorem Real.circleAverage_fun_smul

Modification history