Theorem RingEquiv.isSemisimpleRing_iff

Modification history