Theorem RingEquiv.coe_toAddEquiv

Modification history