Theorem StarAlgEquiv.toRingEquiv_eq_coe

Modification history