Theorem Module.End.IsSemisimple_smul

Modification history