Theorem Module.End.independent_iSup_genEigenspace

Modification history