Theorem Circle.coe_inv_eq_conj

Modification history