Theorem Module.End.IsFinitelySemisimple.genEigenspace_eq_eigenspace

Modification history