Theorem Module.End.maxGenEigenspace_eq_genEigenspace_finrank

Modification history