Theorem Module.End.maximalGeneralizedEigenspace_eq

Modification history