Theorem Module.End.IsSemisimple.maxGenEigenspace_eq_eigenspace

Modification history