Theorem AddCircle.norm_coe_eq_abs_iff

Modification history