Theorem Module.End.IsFinitelySemisimple.restrict

Modification history