Theorem Module.End.genEigenspace_eq_iSup_genEigenspace_nat

Modification history