Theorem Module.End.IsFinitelySemisimple.unifEigenspace_eq_eigenspace

Modification history