Theorem Module.End.isSemisimple_zero

Modification history