Theorem Module.End.IsSemisimple.genEigenspace_eq_eigenspace

Modification history