Theorem IsSemisimpleModule.jacobson_le_ker

Modification history