Theorem AddCircle.norm_neg_period

Modification history