Theorem Module.End.genEigenspace_one

Modification history