Theorem RingEquiv.toEquiv_eq_coe

Modification history