Theorem IsSemisimpleModule.exists_end_ringEquiv

Modification history