Theorem Real.circleAverage_neg_radius

Modification history