Theorem Module.End.disjoint_iSup_genEigenspace

Modification history