Theorem IsSemisimpleModule.jacobson_le_annihilator

Modification history