Theorem Circle.norm_coe

Modification history