Theorem RingEquiv.toRingHom_refl

Modification history