Theorem StarRingEquiv.toRingEquiv_eq_coe

Modification history