Theorem Module.End.IsFinitelySemisimple.maxGenEigenspace_eq_eigenspace

Modification history