Theorem RingEquiv.coe_mulEquiv_refl

Modification history