Theorem Module.End.IsSemisimple.restrict

Modification history