Theorem AddCircle.norm_half_period_eq

Modification history