Theorem RingEquiv.isSemisimpleRing

Modification history