Theorem IsArtinian.isSemisimpleModule_iff_jacobson

Modification history