Theorem Module.End.isSemisimple_id

Modification history