Theorem IsSemisimpleModule.jacobson_eq_bot

Modification history