Theorem Module.End.genEigenspace_def

Modification history