Theorem Circle.coe_eq_one

Modification history