Theorem Module.End.iSup_genEigenspace_eq

Modification history