Theorem Module.IsTorsionBySet.isSemisimpleModule_iff

Modification history